# HG changeset patch
# User ib
# Date 1391968338 0
# Node ID af637449984578bae41179f0528fe37d9de74706
# Parent  e9044aed2250621ffc2c7a750c60f64c3cf6f16a
Don't unnecessarily stop Win32 GUI playback.

There is no reason to do so in the preferences dialog.

diff -r e9044aed2250 -r af6374499845 gui/win32/preferences.c
--- a/gui/win32/preferences.c	Sun Feb 09 09:22:09 2014 +0000
+++ b/gui/win32/preferences.c	Sun Feb 09 17:52:18 2014 +0000
@@ -545,8 +545,6 @@
                     int strl;
                     char *caption;
 
-                    if(guiInfo.Playing) gui(GUI_SET_STATE, (void *)GUI_STOP);
-
                     /* Set the video driver */
                     free(video_driver_list[0]);
                     strl = SendMessage(vo_driver, CB_GETCURSEL, 0, 0);