wmcore: add Debian man-page.
[dockapps.git] / wmmenu / options.h
blob6d741c042818c813f9312aa472174cb52ba21cdb
1 #ifndef options_h_
2 #define options_h_
4 #include "types.h"
6 /* defaults to "not set" */
7 extern int TileXSize ;
8 extern int TileYSize ;
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 ;
31 /* defaults to 1ms */
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_ */