Mercurial > octave
changeset 33410:05f246fa1e06
maint: Merge stable to default.
author | Markus Mützel <markus.muetzel@gmx.de> |
---|---|
date | Mon, 15 Apr 2024 13:54:22 +0200 |
parents | 531d4ae37c60 (current diff) abce1aa7f66f (diff) |
children | ada37b7a4b28 |
files | libgui/src/documentation.cc |
diffstat | 3 files changed, 9 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/libgui/src/documentation.cc Sun Apr 14 15:14:17 2024 +0200 +++ b/libgui/src/documentation.cc Mon Apr 15 13:54:22 2024 +0200 @@ -330,6 +330,8 @@ insertWidget (0, navi); insertWidget (1, browser_find); setStretchFactor (1, 1); + + restoreState (settings.byte_array_value (dc_splitter_state)); } } @@ -684,6 +686,7 @@ { gui_settings settings; + settings.setValue (dc_splitter_state.settings_key (), saveState ()); m_doc_browser->save_settings (); m_bookmarks->save_settings (); }
--- a/libgui/src/gui-preferences-dc.cc Sun Apr 14 15:14:17 2024 +0200 +++ b/libgui/src/gui-preferences-dc.cc Mon Apr 15 13:54:22 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_state ("documentation_widget/splitter_state", QVariant (0));
--- a/libgui/src/gui-preferences-dc.h Sun Apr 14 15:14:17 2024 +0200 +++ b/libgui/src/gui-preferences-dc.h Mon Apr 15 13:54:22 2024 +0200 @@ -39,6 +39,8 @@ extern gui_pref dc_bookmark_filter_mru; +extern gui_pref dc_splitter_state; + // Constants for the xbel file format const QLatin1String dc_xbel_doctype ("<!DOCTYPE xbel>"); const QLatin1String dc_xbel_attr_href ("href");