diff gui/interface.h @ 36054:1562f350e8d2

Cosmetic: Rename GMPlayer definition gmplayer. Additionally, add doxygen comment.
author ib
date Thu, 04 Apr 2013 11:50:37 +0000
parents c667e34fb941
children 703a51ce08c8
line wrap: on
line diff
--- a/gui/interface.h	Thu Apr 04 11:47:39 2013 +0000
+++ b/gui/interface.h	Thu Apr 04 11:50:37 2013 +0000
@@ -34,7 +34,8 @@
 extern int use_gui;             // this is defined in mplayer.c
 // ------------------------------------------------------------
 
-#define GMPlayer "gmplayer"
+/// Name of the GUI binary
+#define gmplayer "gmplayer"
 
 /// gui() instructions
 enum {