static void gui_button_cb_play (Manual me, GuiButtonEvent /* event */) { GuiThing_setSensitive (my recordButton, false); GuiThing_setSensitive (my playButton, false); GuiThing_setSensitive (my publishButton, false); #if defined (_WIN32) GdiFlush (); #endif Melder_play (); GuiThing_setSensitive (my recordButton, true); GuiThing_setSensitive (my playButton, true); GuiThing_setSensitive (my publishButton, true); }
static void gui_button_cb_play (Manual me, GuiButtonEvent /* event */) { GuiThing_setSensitive (my recordButton, false); GuiThing_setSensitive (my playButton, false); GuiThing_setSensitive (my publishButton, false); #if motif XmUpdateDisplay (my d_windowForm -> d_xmShell); #endif Melder_play (); GuiThing_setSensitive (my recordButton, true); GuiThing_setSensitive (my playButton, true); GuiThing_setSensitive (my publishButton, true); }
static void gui_button_cb_play (I, GuiButtonEvent event) { (void) event; iam (Manual); GuiObject_setSensitive (my recordButton, false); GuiObject_setSensitive (my playButton, false); GuiObject_setSensitive (my publishButton, false); #if motif XmUpdateDisplay (my d_windowShell); #endif Melder_play (); GuiObject_setSensitive (my recordButton, true); GuiObject_setSensitive (my playButton, true); GuiObject_setSensitive (my publishButton, true); }