6 /* defaults to "not set" */
10 /* defaults to "not set" */
11 extern char MenuName
[] ;
13 /* empty by default; can be written to */
14 extern char * PixmapPath
;
16 /* empty by default; can be written to */
17 extern char * TilePath
;
19 /* empty by default; can be written to */
20 extern char * HighlightPath
;
22 /* defaults to false */
23 extern bool ClickOnly
;
25 /* defaults to true */
26 extern bool AutoScale
;
28 /* defaults to false */
29 extern bool HighlightBehind
;
32 extern int HideTimeout
;
34 extern int Options_Argc
;
35 extern char * Options_Argv
[] ;
37 extern void Options_ParseDefaults (void) ;
38 extern void Options_Parse (int argc
, char ** argv
) ;
39 extern void Options_SetMenuName (const char *) ;
41 #endif /* options_h_ */