diff gui/src/HistoryDockWidget.h @ 13536:869c62c15e95

Few minor improvements, added advanced settings for file browser.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Tue, 26 Jul 2011 18:11:34 +0200
parents bace956a3724
children ffc2e1d1ad5f
line wrap: on
line diff
--- a/gui/src/HistoryDockWidget.h	Tue Jul 26 17:33:59 2011 +0200
+++ b/gui/src/HistoryDockWidget.h	Tue Jul 26 18:11:34 2011 +0200
@@ -30,6 +30,10 @@
   HistoryDockWidget (QWidget *parent = 0);
   void updateHistory (QStringList history);
 
+public slots:
+  /** Tells the widget to notice settings that are probably new. */
+  void noticeSettings ();
+
 signals:
   void information (QString message);