Commit | Line | Data |
---|---|---|
fac14bbe MW |
1 | /* Copyright (c) 2006 by Arkkra Enterprises */ |
2 | /* All rights reserved */ | |
3 | ||
4 | #ifndef _PREFERENCES_H_ | |
5 | #define _PREFERENCES_H_ | |
6 | ||
7 | // This file contains things related to user configuration options | |
8 | // and preferences. | |
9 | ||
10 | #include <FL/Fl_Preferences.H> | |
11 | ||
12 | // Names and default values for things stored in preferences file | |
13 | extern const char * const Mup_program_location; | |
14 | extern const char * const Mup_documentation_location; | |
15 | extern const char * const Music_files_location; | |
16 | extern const char * const MUPPATH_location; | |
17 | extern const char * const Viewer_location; | |
18 | extern const char * const MIDI_player_location; | |
19 | extern const char * const Editor_font_preference; | |
20 | extern const char * const Editor_size_preference; | |
21 | extern const char * const Auto_display_preference; | |
22 | extern const char * const Auto_save_preference; | |
23 | extern const char * const Tooltips_delay_preference; | |
24 | extern const char * const Showed_startup_hints; | |
25 | ||
26 | extern const char * const Default_Mup_program_location; | |
27 | extern const char * const Default_Mup_documentation_location; | |
28 | extern const char * const Default_music_files_location; | |
29 | extern const char * const Default_MUPPATH_location; | |
30 | extern const char * const Default_viewer_location; | |
31 | extern const char * const Default_MIDI_player_location; | |
32 | extern const char * const Default_editor_font; | |
33 | extern const char * const Default_editor_size; | |
34 | extern const int Default_auto_display; | |
35 | extern const int Default_auto_save; | |
36 | extern const double Default_tooltips_delay; | |
37 | extern const int Default_startup_hints_flag; | |
38 | ||
39 | // This lets us access user preferences that persist across sessions | |
40 | extern Fl_Preferences * Preferences_p; | |
41 | ||
42 | // Minimum and maximum font size we use | |
43 | extern const unsigned char Min_size; | |
44 | extern const unsigned char Max_size; | |
45 | ||
46 | // Default and minimum sizes of Main and Help browser windows | |
47 | extern const int Min_width; | |
48 | extern const int Default_width; | |
49 | extern const int Min_height; | |
50 | extern const int Default_height; | |
51 | ||
52 | // The directory containing User's Guide, relative to top of | |
53 | // documentation tree | |
54 | extern const char * uguide_directory; | |
55 | ||
56 | // Given a path to Mup's documentation directory, | |
57 | // add on the name of the User's Guide index file. | |
58 | // Return that in a static area. | |
59 | extern const char * users_guide_index_file(const char * const doc_dir); | |
60 | ||
61 | // This tries to find reasonable default applications for viewing and playing | |
62 | extern void deduce_helper_locations(void); | |
63 | ||
64 | #endif |