summaryrefslogtreecommitdiffhomepage
path: root/mixlib
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-04 22:13:59 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-04 22:13:59 +0000
commit3052a79ade0d1e691acb10965548c52ebe78d7b8 (patch)
tree7b83472b01abac2b94c3be59ef916e3603cb82c7 /mixlib
parentef45e9051e827c8c6f26f43a4dc9c9513193a5bd (diff)
downloadmdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.gz
mdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.bz2
edit and compile commands added to gmixvm
Diffstat (limited to 'mixlib')
-rw-r--r--mixlib/mix_file.c10
-rw-r--r--mixlib/mix_file.h4
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);