int GfxElement[MAX_LEV_FIELDX][MAX_LEV_FIELDY];
int GfxAction[MAX_LEV_FIELDX][MAX_LEV_FIELDY];
int GfxDir[MAX_LEV_FIELDX][MAX_LEV_FIELDY];
+int GfxRedraw[MAX_LEV_FIELDX][MAX_LEV_FIELDY];
int ActiveElement[MAX_NUM_ELEMENTS];
int ActiveButton[NUM_IMAGE_FILES];
/* main() */
/* ========================================================================= */
+static unsigned long get_cmd_switch(char *switch_string)
+{
+ unsigned long switch_value = 0;
+
+ if (strEqual(switch_string, "load_xsb_to_ces"))
+ switch_value = CMD_SWITCH_LOAD_XSB_TO_CES;
+
+ return switch_value;
+}
+
static void print_usage()
{
printf("\n"
InitExitFunction(CloseAllAndExit);
InitPlatformDependentStuff();
- GetOptions(argv, print_usage);
+ GetOptions(argv, print_usage, get_cmd_switch);
OpenAll();
EventLoop();