diff options
Diffstat (limited to 'mixgtk/mixgtk_external.c')
| -rw-r--r-- | mixgtk/mixgtk_external.c | 3 |
1 files changed, 3 insertions, 0 deletions
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 |