diff libgui/src/m-editor/file-editor.h @ 29372:fd1c45b62ba9 stable

fix restoring editor session after having closed all tabs (bug #60051) * file-editor.cc (save_session): moved saving the current session into this new separate function; (check_closing): save the session if here, regardless number of tabs; (handle_tab_ready_to_close): and not here, which would never happen when no tab has to be closed on exit * file-editor.h: new function save_session
author Torsten Lilge <ttl-octave@mailbox.org>
date Sun, 14 Feb 2021 22:48:19 +0100
parents 0a5b15007766
children 34097a2f1f60
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor.h	Sun Feb 14 10:27:41 2021 -0800
+++ b/libgui/src/m-editor/file-editor.h	Sun Feb 14 22:48:19 2021 +0100
@@ -180,6 +180,7 @@
     void activate (void);
     void set_focus (QWidget *fet);
     void enable_menu_shortcuts (bool);
+    void save_session (void);
     bool check_closing (void);
     void handle_tab_ready_to_close (void);