changeset 36681:c3962450b00b

Change the message box type. It is just an information, that some settings require the playback to be restarted, not a warning.
author ib
date Sun, 02 Feb 2014 10:54:37 +0000
parents cc70b0fb8d36
children 68794f2fbf1e
files gui/dialog/preferences.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gui/dialog/preferences.c	Sun Feb 02 10:52:47 2014 +0000
+++ b/gui/dialog/preferences.c	Sun Feb 02 10:54:37 2014 +0000
@@ -1451,7 +1451,7 @@
   static int visible = True;
   if ( visible )
    {
-    gtkMessageBox( MSGBOX_WARNING,MSGTR_PREFERENCES_Message );
+    gtkMessageBox( MSGBOX_INFORMATION,MSGTR_PREFERENCES_Message );
     visible=False;
    }
  }