diff Gui/interface.c @ 4963:13262bd21965

small changes
author pontscho
date Wed, 06 Mar 2002 23:54:20 +0000
parents 65730cea02e7
children 923605707de6
line wrap: on
line diff
--- a/Gui/interface.c	Wed Mar 06 23:40:31 2002 +0000
+++ b/Gui/interface.c	Wed Mar 06 23:54:20 2002 +0000
@@ -53,6 +53,12 @@
         gtkEventHandling();
         break;
    case guiCEvent:
+        switch ( (int)arg )
+	 {
+          case guiSetPlay:  guiIntfStruct.Playing=1; mplState(); break;
+          case guiSetStop:  guiIntfStruct.Playing=0; mplState(); break;
+          case guiSetPause: guiIntfStruct.Playing=2; mplState(); break;
+	 }
         break;
    case guiIEvent:
         printf( "cmd: %d\n",(int)arg );
@@ -76,4 +82,5 @@
  if ( use_gui && !guiIntfStruct.Playing ) wsHandleEvents();
  gtkEventHandling();
  mplTimerHandler(); // handle GUI timer events
+ mplState();
 }