chiark - git - mdw - mup/blob - mup/mupmate/Preferences.H

   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