void guiEventHandling(void) { if (!guiInfo.Playing || !guiInfo.MovieWindow) wsHandleEvents(); gtkEventHandling(); }
void guiEventHandling( void ) { if ( !guiIntfStruct.Playing || guiIntfStruct.NoWindow ) wsHandleEvents(); gtkEventHandling(); }