changeset 36722:af6374499845

Don't unnecessarily stop Win32 GUI playback. There is no reason to do so in the preferences dialog.
author ib
date Sun, 09 Feb 2014 17:52:18 +0000
parents e9044aed2250
children d115f34f2f23
files gui/win32/preferences.c
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);