# HG changeset patch # User ib # Date 1309874418 0 # Node ID 7458d793b38b9fd992a2d4c72551ba7081468646 # Parent 90c992ac501121839cd4060364cc12b4bab54b2b Cosmetic: Rename GUI_X_EVENT GUI_HANDLE_X_EVENT. diff -r 90c992ac5011 -r 7458d793b38b gui/interface.c --- a/gui/interface.c Tue Jul 05 13:48:55 2011 +0000 +++ b/gui/interface.c Tue Jul 05 14:00:18 2011 +0000 @@ -978,7 +978,7 @@ WinID = guiApp.subWindow.WindowID; break; - case GUI_X_EVENT: + case GUI_HANDLE_X_EVENT: guiInfo.event_struct = arg; wsEvents(wsDisplay, arg); gtkEventHandling(); diff -r 90c992ac5011 -r 7458d793b38b gui/interface.h --- a/gui/interface.h Tue Jul 05 13:48:55 2011 +0000 +++ b/gui/interface.h Tue Jul 05 14:00:18 2011 +0000 @@ -35,7 +35,7 @@ #define GMPlayer "gmplayer" -#define GUI_X_EVENT 0 +#define GUI_HANDLE_X_EVENT 0 #define GUI_SET_STATE 1 #define GUI_RUN_COMMAND 2 #define GUI_SET_AUDIO 6 diff -r 90c992ac5011 -r 7458d793b38b libvo/x11_common.c --- a/libvo/x11_common.c Tue Jul 05 13:48:55 2011 +0000 +++ b/libvo/x11_common.c Tue Jul 05 14:00:18 2011 +0000 @@ -821,7 +821,7 @@ #ifdef CONFIG_GUI if (use_gui) { - gui(GUI_X_EVENT, &Event); + gui(GUI_HANDLE_X_EVENT, &Event); if (vo_window != Event.xany.window) continue; }