# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1385746933 18000
# Node ID 8695fa0482267c2008a9fb5b005f9db10ddb9a1c
# Parent  f0427ca399ccebe1d1fc21169c715d8fa6202641
make hiding of gui warning bar persistent

* main-window.h, main-window.cc
(main_window::construct_gui_info_button): New function.
(main_window::hide_warning_bar): Use it to make gui info button.
(main_window::construct_warning_bar): Likewise.  Check preferences and
display gui info button if warning bar is hidden.

diff -r f0427ca399cc -r 8695fa048226 libgui/src/main-window.cc
--- a/libgui/src/main-window.cc	Thu Nov 28 17:02:59 2013 -0800
+++ b/libgui/src/main-window.cc	Fri Nov 29 12:42:13 2013 -0500
@@ -1775,6 +1775,16 @@
 void
 main_window::construct_warning_bar (void)
 {
+  QSettings *settings = resource_manager::get_settings ();
+
+  if (settings
+      && settings->value ("General/hide_new_gui_warning", false).toBool ())
+    {
+      construct_gui_info_button ();
+
+      return;
+    }
+
   _warning_bar = new QDockWidget (this);
   _warning_bar->setAttribute (Qt::WA_DeleteOnClose);
 
@@ -1843,24 +1853,39 @@
 };
 
 void
-main_window::hide_warning_bar (void)
+main_window::construct_gui_info_button (void)
 {
-  removeDockWidget (_warning_bar);
-
   QIcon warning_icon
     = QIcon::fromTheme ("dialog-warning",
                         QIcon (":/actions/icons/warning.png"));
 
-  _warning_bar_info_button
+  _gui_info_button
     = new QPushButton (warning_icon, tr ("Experimental GUI Info"));
 
-  _main_tool_bar->addWidget (_warning_bar_info_button);
-
-  connect (_warning_bar_info_button, SIGNAL (clicked ()),
+  _main_tool_bar->addWidget (_gui_info_button);
+
+  connect (_gui_info_button, SIGNAL (clicked ()),
            this, SLOT (show_gui_info ()));
 }
 
 void
+main_window::hide_warning_bar (void)
+{
+  QSettings *settings = resource_manager::get_settings ();
+
+  if (settings)
+    {
+      settings->setValue ("General/hide_new_gui_warning", true);
+
+      settings->sync ();
+    }
+
+  removeDockWidget (_warning_bar);
+
+  construct_gui_info_button ();
+}
+
+void
 main_window::show_gui_info (void)
 {
   QString gui_info
diff -r f0427ca399cc -r 8695fa048226 libgui/src/main-window.h
--- a/libgui/src/main-window.h	Thu Nov 28 17:02:59 2013 -0800
+++ b/libgui/src/main-window.h	Fri Nov 29 12:42:13 2013 -0500
@@ -226,6 +226,8 @@
   void construct_news_menu (QMenuBar *p);
 
   void construct_warning_bar (void);
+  void construct_gui_info_button (void);
+
   void construct_tool_bar (void);
 
   void establish_octave_link (void);
@@ -298,7 +300,7 @@
   QToolBar *_main_tool_bar;
 
   QDockWidget *_warning_bar;
-  QPushButton *_warning_bar_info_button;
+  QPushButton *_gui_info_button;
 
   QMenu *_debug_menu;