diff options
| -rw-r--r-- | mixgtk/Makefile.am | 4 | ||||
| -rw-r--r-- | mixgtk/mixgtk_external.c | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/mixgtk/Makefile.am b/mixgtk/Makefile.am index ff69759..fbb06c9 100644 --- a/mixgtk/Makefile.am +++ b/mixgtk/Makefile.am @@ -20,8 +20,10 @@ endif if DARWIN_SYSTEM EDITOR_CMD = "/usr/bin/open -a TextEdit %s" +EXTRA_EXECD = -DEXTRA_EXEC_MIME_TYPE else EDITOR_CMD = "/usr/bin/xterm -e vi %s" +EXTRA_EXECD = endif if MAKE_GUI @@ -33,7 +35,7 @@ INCLUDES = -I$(includedir) -I$(top_srcdir) \ -DLOCAL_GLADE_FILE=\""$(srcdir)/mixgtk.glade"\"\ -DDEFAULT_EDITOR_CMD=\"$(EDITOR_CMD)\"\ -DDEFAULT_ASM_CMD="\"$(bindir)/mixasm"\"\ - $(GUILED) + $(GUILED) $(EXTRA_EXECD) LDADD = $(top_builddir)/mixlib/libmix.a $(top_builddir)/lib/libreplace.a\ $(top_builddir)/mixguile/libmixguile.a $(INTLLIBS) diff --git a/mixgtk/mixgtk_external.c b/mixgtk/mixgtk_external.c index efe7f8d..fc733e0 100644 --- a/mixgtk/mixgtk_external.c +++ b/mixgtk/mixgtk_external.c @@ -102,6 +102,9 @@ init_widgets_ (void) } gtk_file_filter_add_mime_type (filter, "application/x-executable"); +#ifdef EXTRA_EXEC_MIME_TYPE + gtk_file_filter_add_mime_type (filter, "application/octet-stream"); +#endif gtk_file_chooser_set_filter (GTK_FILE_CHOOSER (ext_wdg_[ext_wdg_asm_chooser]), filter); gtk_file_chooser_set_filter |