changeset 30721:ef8b02fc4588 stable

fix saving settings of dock widgets at exit * octave-dock-widget.h: make save_settings () virtual
author Torsten Lilge <ttl-octave@mailbox.org>
date Mon, 07 Feb 2022 20:20:38 +0100
parents 7fe4b83eb425
children 0a082e1b7422
files libgui/src/octave-dock-widget.h
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/octave-dock-widget.h	Sat Feb 05 21:50:10 2022 +0100
+++ b/libgui/src/octave-dock-widget.h	Mon Feb 07 20:20:38 2022 +0100
@@ -128,14 +128,14 @@
 
     virtual void notice_settings (const gui_settings *) { }
 
+    virtual void save_settings (void);
+
     void init_window_menu_entry (void);
 
     void handle_settings (const gui_settings *);
 
     void handle_active_dock_changed (octave_dock_widget *, octave_dock_widget *);
 
-    void save_settings (void);
-
     void moveEvent (QMoveEvent *event);
 
     void resizeEvent (QResizeEvent *event);