From b45f21075d51b6b20a1e2a7ae6ba14fae3935fad Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Mon, 4 Jun 2001 22:13:59 +0000 Subject: edit and compile commands added to gmixvm --- mixlib/mix_file.c | 10 ++++++++++ mixlib/mix_file.h | 4 ++++ 2 files changed, 14 insertions(+) (limited to 'mixlib') 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); -- cgit v1.2.3