diff gui/interface.h @ 33726:a800f30c40d1

Cosmetic: Rename gui() parameter. Change it from 'type' to 'what' to point out that it is a request.
author ib
date Tue, 05 Jul 2011 10:54:16 +0000
parents f3361b27a151
children 04b8bbbc8020
line wrap: on
line diff
--- a/gui/interface.h	Tue Jul 05 10:47:51 2011 +0000
+++ b/gui/interface.h	Tue Jul 05 10:54:16 2011 +0000
@@ -235,7 +235,7 @@
 void guiDone(void);
 void guiEventHandling(void);
 void guiExit(enum exit_reason how);
-int gui(int type, void *arg);
+int gui(int what, void *arg);
 void guiInit(void);
 void guiLoadFont(void);
 void guiLoadSubtitle(char *name);