comparison libgui/src/gui-preferences-dc.cc @ 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
comparison
equal deleted inserted replaced
33405:25d82c22985d 33408:7bad34ee4021
41 dc_bookmark_filter_mru ("documentation_widget/bookmark_filter_mru", QVariant ()); 41 dc_bookmark_filter_mru ("documentation_widget/bookmark_filter_mru", QVariant ());
42 42
43 // Zoom level 43 // Zoom level
44 gui_pref 44 gui_pref
45 dc_browser_zoom_level ("documentation_widget/browser_zoom_level", QVariant (0)); 45 dc_browser_zoom_level ("documentation_widget/browser_zoom_level", QVariant (0));
46
47 // Splitter state
48 gui_pref
49 dc_splitter_sate ("documentation_widget/splitter_state", QVariant (0));