diff libgui/src/workspace-view.h @ 33421:3d37f529ee65 stable

fix restoring headers in file browser and workspace view (bug #65030) * files-dock-widget.cc (files_dock_widget): move restoring header from constructor into separate slot, use one-shot timer to schedule this slot * files-dock-widget.h: new slot restore_header_state * workspace-view.cc (workspace_view): see files-doc-widget * workspace-view.h: see files-dock-widget
author Torsten Lilge <ttl-octave@mailbox.org>
date Mon, 18 Mar 2024 20:00:53 +0100
parents 2e484f9f1f18
children 1d0365c531a1
line wrap: on
line diff
--- a/libgui/src/workspace-view.h	Tue Apr 16 06:56:56 2024 +0200
+++ b/libgui/src/workspace-view.h	Mon Mar 18 20:00:53 2024 +0100
@@ -78,6 +78,7 @@
 
 protected slots:
 
+  void restore_header_state ();
   void filter_update (const QString& expression);
   void filter_activate (bool enable);
   void update_filter_history ();