# HG changeset patch
# User ib
# Date 1308920404 0
# Node ID 3f67822080755034d2bbcec29054016bb8b84d79
# Parent  442726a401f1294fcb3f3e6afed1358432215ed8
Simplify code for guiGetEvent type guiSetState.

diff -r 442726a401f1 -r 3f6782208075 gui/interface.c
--- a/gui/interface.c	Fri Jun 24 12:54:10 2011 +0000
+++ b/gui/interface.c	Fri Jun 24 13:00:04 2011 +0000
@@ -575,18 +575,11 @@
     case guiSetState:
 
         switch ((int)arg) {
+        case GUI_STOP:
         case GUI_PLAY:
 // if ( !gtkShowVideoWindow ) wsVisibleWindow( &guiApp.subWindow,wsHideWindow );
-            guiInfo.Playing = GUI_PLAY;
-            break;
-
-        case GUI_STOP:
-// if ( !gtkShowVideoWindow ) wsVisibleWindow( &guiApp.subWindow,wsHideWindow );
-            guiInfo.Playing = GUI_STOP;
-            break;
-
         case GUI_PAUSE:
-            guiInfo.Playing = GUI_PAUSE;
+            guiInfo.Playing = (int)arg;
             break;
         }