diff libgui/src/gui-preferences-dc.h @ 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 2e484f9f1f18
children abce1aa7f66f
line wrap: on
line diff
--- 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");