[gui] ask before closing running terminal#3835

Merged

ricab merged 7 commits intomainfrom

close-terminal-confirmation

Feb 5, 2025

Commits on Dec 11, 2024

Commits on Dec 12, 2024

[gui] ask before closing running terminal
andrei-toterman
committed

Commits on Jan 22, 2025

Merge remote-tracking branch 'origin/main' into close-terminal-confirmation
levkropp
committed

Commits on Jan 24, 2025

[gui] remove useless callback on closing window dialog
andrei-toterman
committed
[gui] add setting to not be asked about closing a running terminal
andrei-toterman
committed