diff libgui/src/history-dock-widget.cc @ 20692:950c8a092db7 stable

check whether filter is active or not when history widget becomes visible * history-dock-widget.cc (handle_visibility): check the filter checkbox and activate the filter accordingly in addition to the inherited actions * history-dock-widget.h: new implementation of virtual function
author Torsten <ttl@justmail.de>
date Mon, 09 Nov 2015 22:13:52 +0100
parents a8cc8318da8c
children 7f568368d247
line wrap: on
line diff
--- a/libgui/src/history-dock-widget.cc	Mon Nov 09 20:11:25 2015 +0100
+++ b/libgui/src/history-dock-widget.cc	Mon Nov 09 22:13:52 2015 +0100
@@ -324,3 +324,14 @@
       _history_list_view->selectAll ();
     }
 }
+
+void history_dock_widget::handle_visibility (bool visible)
+{
+  octave_dock_widget::handle_visibility (visible);
+
+  if (visible)
+    {
+      int filter_state = _filter_checkbox->isChecked ();
+      filter_activate (filter_state);
+    }
+}
\ No newline at end of file