mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-03-11 13:23:06 +01:00
delete screen immediately when there are no lines in it (#152)
This commit is contained in:
parent
ea9cb37de1
commit
f9d0e63d0c
@ -218,6 +218,11 @@ class ScreenSettingsModal extends React.Component<{}, {}> {
|
||||
if (this.screen == null) {
|
||||
return;
|
||||
}
|
||||
if (this.screen.getScreenLines().lines.length == 0) {
|
||||
GlobalCommandRunner.screenPurge(this.screenId);
|
||||
GlobalModel.modalsModel.popModal();
|
||||
return;
|
||||
}
|
||||
let message = ScreenDeleteMessage;
|
||||
let alertRtn = GlobalModel.showAlert({ message: message, confirm: true, markdown: true });
|
||||
alertRtn.then((result) => {
|
||||
|
Loading…
Reference in New Issue
Block a user