# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1713182062 -7200
# Node ID 05f246fa1e06d79d620f2a9bd6172a99c1b82145
# Parent  531d4ae37c60c8fbfbb7c9370048d72e8e4f09c3# Parent  abce1aa7f66f2ea43a86c86788d5873f05198298
maint: Merge stable to default.

diff -r 531d4ae37c60 -r 05f246fa1e06 libgui/src/documentation.cc
--- 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 ();
 }
diff -r 531d4ae37c60 -r 05f246fa1e06 libgui/src/gui-preferences-dc.cc
--- 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));
diff -r 531d4ae37c60 -r 05f246fa1e06 libgui/src/gui-preferences-dc.h
--- 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");