rnd-20031202-1-src

[rocksndiamonds.git] / src / libgame / setup.h

diff --git a/src/libgame/setup.h b/src/libgame/setup.h
index 006a713ad56055f26b2fb1e64a3852f0097c0478..7d99fec3e8ea37f93f9d3676774fd1ad4976e0f7 100644 (file)
--- a/src/libgame/setup.h
+++ b/src/libgame/setup.h
@@ -33,13 +33,14 @@
                                         TYPE_YES_NO)
 
 /* additional values for setup screen */
-#define TYPE_ENTER_MENU                        (1 << 8)
-#define TYPE_LEAVE_MENU                        (1 << 9)
-#define TYPE_EMPTY                     (1 << 10)
-#define TYPE_KEYTEXT                   (1 << 11)
+#define TYPE_ENTER_SCREEN              (1 << 8)
+#define TYPE_ENTER_MENU                        (1 << 9)
+#define TYPE_LEAVE_MENU                        (1 << 10)
+#define TYPE_EMPTY                     (1 << 11)
+#define TYPE_KEYTEXT                   (1 << 12)
 
-#define TYPE_GHOSTED                   (1 << 12)
-#define TYPE_QUERY                     (1 << 13)
+#define TYPE_GHOSTED                   (1 << 13)
+#define TYPE_QUERY                     (1 << 14)
 
 #define TYPE_VALUE                     (TYPE_BOOLEAN_STYLE     | \
                                         TYPE_KEY               | \
@@ -52,7 +53,8 @@
                                         TYPE_KEY               | \
                                         TYPE_STRING)
 
-#define TYPE_ENTER_OR_LEAVE_MENU       (TYPE_ENTER_MENU        | \
+#define TYPE_ENTER_OR_LEAVE_MENU       (TYPE_ENTER_SCREEN      | \
+                                        TYPE_ENTER_MENU        | \
                                         TYPE_LEAVE_MENU)
 
 /* cookie token for file identifier and version number */
@@ -197,8 +199,9 @@ char *getTapeFilename(int);
 char *getScoreFilename(int);
 char *getSetupFilename(void);
 char *getEditorSetupFilename(void);
-char *getDemoAnimInfoFilename(void);
-char *getDemoAnimTextFilename(void);
+char *getHelpAnimFilename(void);
+char *getHelpTextFilename(void);
+char *getLevelSetInfoFilename(void);
 char *getImageFilename(char *);
 char *getCustomImageFilename(char *);
 char *getCustomSoundFilename(char *);