diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-04 22:13:59 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-04 22:13:59 +0000 |
commit | 3052a79ade0d1e691acb10965548c52ebe78d7b8 (patch) | |
tree | 7b83472b01abac2b94c3be59ef916e3603cb82c7 /mixlib | |
parent | ef45e9051e827c8c6f26f43a4dc9c9513193a5bd (diff) | |
download | mdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.gz mdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.bz2 |
edit and compile commands added to gmixvm
Diffstat (limited to 'mixlib')
-rw-r--r-- | mixlib/mix_file.c | 10 | ||||
-rw-r--r-- | mixlib/mix_file.h | 4 |
2 files changed, 14 insertions, 0 deletions
diff --git a/mixlib/mix_file.c b/mixlib/mix_file.c index ac623f6..816a380 100644 --- a/mixlib/mix_file.c +++ b/mixlib/mix_file.c @@ -133,6 +133,16 @@ mix_file_to_FILE(const mix_file_t *file) return io_get_FILE_(file); } +/* complete a name with an extension, if needed */ +gchar * +mix_file_complete_name (const gchar *name, const gchar *extension) +{ + if (!name) return NULL; + if (!extension || !needs_completion_ (name, extension)) + return g_strdup (name); + return add_completion_ (name, extension); +} + /* Get the base name and extension of file */ const gchar * mix_file_base_name(const mix_file_t *file) diff --git a/mixlib/mix_file.h b/mixlib/mix_file.h index a4bac12..bb9e7e3 100644 --- a/mixlib/mix_file.h +++ b/mixlib/mix_file.h @@ -49,6 +49,10 @@ mix_file_to_FILE(const mix_file_t *file); /* standard default extensions */ extern const gchar *MIX_SRC_DEFEXT, *MIX_LIST_DEFEXT, *MIX_CODE_DEFEXT; +/* complete a name with an extension, if needed */ +extern gchar * +mix_file_complete_name (const gchar *name, const gchar *extension); + /* Get the base name and extension of file */ extern const gchar * mix_file_base_name(const mix_file_t *file); |