changeset 33408:7bad34ee4021 stable

save and restore splitter state of documentation widget * documentation.cc (documentation): restore splitter state from settings; (save_settings): save splitter state * gui-preferences-dc.cc/.h: define new settings key for splitter state
author Torsten Lilge <ttl-octave@mailbox.org>
date Sun, 14 Apr 2024 21:31:02 +0200
parents 25d82c22985d
children abce1aa7f66f
files libgui/src/documentation.cc libgui/src/gui-preferences-dc.cc libgui/src/gui-preferences-dc.h
diffstat 3 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/documentation.cc	Sun Apr 14 12:19:34 2024 +0200
+++ b/libgui/src/documentation.cc	Sun Apr 14 21:31:02 2024 +0200
@@ -332,6 +332,8 @@
       insertWidget (0, navi);
       insertWidget (1, browser_find);
       setStretchFactor (1, 1);
+
+      restoreState (settings.byte_array_value (dc_splitter_sate));
     }
 }
 
@@ -677,6 +679,7 @@
 {
   gui_settings settings;
 
+  settings.setValue (dc_splitter_sate.settings_key (), saveState ());
   m_doc_browser->save_settings ();
   m_bookmarks->save_settings ();
 }
--- a/libgui/src/gui-preferences-dc.cc	Sun Apr 14 12:19:34 2024 +0200
+++ b/libgui/src/gui-preferences-dc.cc	Sun Apr 14 21:31:02 2024 +0200
@@ -43,3 +43,7 @@
 // Zoom level
 gui_pref
 dc_browser_zoom_level ("documentation_widget/browser_zoom_level", QVariant (0));
+
+// Splitter state
+gui_pref
+dc_splitter_sate ("documentation_widget/splitter_state", QVariant (0));
\ No newline at end of file
--- a/libgui/src/gui-preferences-dc.h	Sun Apr 14 12:19:34 2024 +0200
+++ b/libgui/src/gui-preferences-dc.h	Sun Apr 14 21:31:02 2024 +0200
@@ -39,6 +39,8 @@
 
 extern gui_pref dc_bookmark_filter_mru;
 
+extern gui_pref dc_splitter_sate;
+
 // Constants for the xbel file format
 const QLatin1String dc_xbel_doctype ("<!DOCTYPE xbel>");
 const QLatin1String dc_xbel_attr_href ("href");