comparison 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
comparison
equal deleted inserted replaced
33405:25d82c22985d 33408:7bad34ee4021
37 37
38 extern gui_pref dc_bookmark_filter_shown; 38 extern gui_pref dc_bookmark_filter_shown;
39 39
40 extern gui_pref dc_bookmark_filter_mru; 40 extern gui_pref dc_bookmark_filter_mru;
41 41
42 extern gui_pref dc_splitter_sate;
43
42 // Constants for the xbel file format 44 // Constants for the xbel file format
43 const QLatin1String dc_xbel_doctype ("<!DOCTYPE xbel>"); 45 const QLatin1String dc_xbel_doctype ("<!DOCTYPE xbel>");
44 const QLatin1String dc_xbel_attr_href ("href"); 46 const QLatin1String dc_xbel_attr_href ("href");
45 const QLatin1String dc_xbel_attr_folded ("folded"); 47 const QLatin1String dc_xbel_attr_folded ("folded");
46 const QLatin1String dc_xbel_attr_version ("version"); 48 const QLatin1String dc_xbel_attr_version ("version");