diff options
| author | Richard Shann <rshann@debianrts.home> | 2011-01-15 21:22:50 +0000 |
|---|---|---|
| committer | Richard Shann <rshann@debianrts.home> | 2011-01-15 21:22:50 +0000 |
| commit | 689c1f2493cb5f3624ea033662df9275a97f9078 (patch) | |
| tree | 612983f41e3f33c54436a23d05e8bfe7f6b327c0 /include | |
| parent | 0719828277649db0720d49d78cbfaca26a4ca7cd (diff) | |
Allow profile as user preference, active once the user has a customized command set
Diffstat (limited to 'include')
| -rw-r--r-- | include/denemo/denemo_types.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/denemo/denemo_types.h b/include/denemo/denemo_types.h index 1e971ce0..4f42a1f3 100644 --- a/include/denemo/denemo_types.h +++ b/include/denemo/denemo_types.h @@ -367,6 +367,7 @@ typedef struct DeviceManagerDevice */ typedef struct DenemoPrefs { + GString *profile; /**< Which set of commands and shortcuts to load, and which initialization of scheme to run */ GString *lilypath; /**< This is the executable or full path to the lilypond executable */ GString *midiplayer; /**< This is the external midifile player */ GString *audioplayer; /**< This is used for playing audio files created from csound or other */ @@ -956,7 +957,6 @@ struct DenemoRoot GList *guis; /**< the list of DenemoGUI objects, representing pieces of music simultaneously open */ DenemoPrefs prefs; /**< Preferences stored on exit and re-loaded on startup */ - gchar *profile; /**< Name of user's profile, if any */ gint autosaveid;/**< autosave timer id: only one musical score is being autosaved at present */ gint accelerator_status; /**< if the accelerators have been saved, or extra ones for special keys defined */ GtkUIManager *ui_manager; /**< UI manager */ |