| 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 |