diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-11-30 15:02:15 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-11-30 15:02:21 +0100 |
| commit | 2025481f8c19fd73a611e517a0c91c15d7ed390a (patch) | |
| tree | a6ae01c2e3cb4b4f0b2f5441f5a7441aa8fde0f8 /fluid/fluid.cxx | |
| parent | a1a3a3109078d5920985066858d6747844d560c4 (diff) | |
FLUID: Add dialog box when processes are still runing when user tries to quit.
Diffstat (limited to 'fluid/fluid.cxx')
| -rw-r--r-- | fluid/fluid.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/fluid/fluid.cxx b/fluid/fluid.cxx index 96138234c..42406606c 100644 --- a/fluid/fluid.cxx +++ b/fluid/fluid.cxx @@ -813,6 +813,11 @@ void revert_cb(Fl_Widget *,void *) { If the design was modified, a dialog will ask for confirmation. */ void exit_cb(Fl_Widget *,void *) { + if (shell_command_running()) { + fl_alert("Previous shell command still running!"); + return; + } + flush_text_widgets(); // verify user intention |