diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
| commit | 888a3d7a8c313481de4004a5a1766f85c0dd7f20 (patch) | |
| tree | 8bb257e31d058c98bda72805281185af98a47ffc /mixlib/mix_config.h | |
| parent | 1265e5419737a2fbd12eff899d19df706855b55e (diff) | |
| download | mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.gz mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.bz2 | |
history file
Diffstat (limited to 'mixlib/mix_config.h')
| -rw-r--r-- | mixlib/mix_config.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/mixlib/mix_config.h b/mixlib/mix_config.h index e6e00b8..47932e1 100644 --- a/mixlib/mix_config.h +++ b/mixlib/mix_config.h @@ -46,10 +46,16 @@ mix_config_get_filename (const mix_config_t *config); extern const gchar * mix_config_get (const mix_config_t *config, const gchar *key); +extern gint +mix_config_get_integer (const mix_config_t *config, const gchar *key); + /* update (or create if it does not exist) a new config item */ extern void mix_config_update (mix_config_t *config, const gchar *key, const gchar *value); +extern void +mix_config_update_integer (mix_config_t *config, const gchar *key, gint value); + /* save the current configuration */ extern void mix_config_save (const mix_config_t *config); @@ -70,6 +76,19 @@ mix_config_set_devices_dir (mix_config_t *config, const gchar *dirname); extern const gchar * mix_config_get_devices_dir (const mix_config_t *config); +/* history file. if relative path, config dir taken as root */ +extern void +mix_config_set_history_file (mix_config_t *config, const gchar *path); + +extern const gchar * +mix_config_get_history_file (const mix_config_t *config); + +extern void +mix_config_set_history_size (mix_config_t *config, gint s); + +extern gint +mix_config_get_history_size (const mix_config_t *config); + #endif /* MIX_CONFIG_H */ |