diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-07-22 16:01:49 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-07-22 16:01:49 +0200 |
| commit | 828d8a0e2b13ff0ae414ddae7f9ca1de1e2c8d88 (patch) | |
| tree | c5d4c6772f5e8d8a57fc9eafeb48916e20da6328 /fluid/fluid.cxx | |
| parent | f0375d6213d67d585c9b8e5adc443d8c8adc280c (diff) | |
FLUID: shell code cleanup
Diffstat (limited to 'fluid/fluid.cxx')
| -rw-r--r-- | fluid/fluid.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/fluid/fluid.cxx b/fluid/fluid.cxx index 8ae89785d..2d5b05bde 100644 --- a/fluid/fluid.cxx +++ b/fluid/fluid.cxx @@ -721,6 +721,10 @@ void exit_cb(Fl_Widget *,void *) { delete sourceview_panel; sourceview_panel = 0; } + if (shell_run_window) { + save_position(shell_run_window,"shell_run_Window_pos"); + } + if (about_panel) delete about_panel; if (help_dialog) |