# HG changeset patch
# User ib
# Date 1391338477 0
# Node ID c3962450b00bb6f74ef62282839d997335ffd4ae
# Parent  cc70b0fb8d3654df810fe86cce2152406f97d551
Change the message box type.

It is just an information, that some settings require
the playback to be restarted, not a warning.

diff -r cc70b0fb8d36 -r c3962450b00b gui/dialog/preferences.c
--- 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;
    }
  }