~mdw / mup / blame
| Commit | Line | Data |
|---|---|---|
| 69695f33 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 |