diff options
Diffstat (limited to 'community/nemo/use-terminal-config.patch')
| -rw-r--r-- | community/nemo/use-terminal-config.patch | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/community/nemo/use-terminal-config.patch b/community/nemo/use-terminal-config.patch new file mode 100644 index 000000000..a6af75d48 --- /dev/null +++ b/community/nemo/use-terminal-config.patch @@ -0,0 +1,45 @@ +diff -Naur linuxmint-nemo-63f7b44.orig/libnemo-private/nemo-global-preferences.c linuxmint-nemo-63f7b44/libnemo-private/nemo-global-preferences.c +--- linuxmint-nemo-63f7b44.orig/libnemo-private/nemo-global-preferences.c 2013-02-19 17:30:18.000000000 +0100 ++++ linuxmint-nemo-63f7b44/libnemo-private/nemo-global-preferences.c 2013-03-04 04:05:13.472897136 +0100 +@@ -77,5 +77,6 @@ + nemo_tree_sidebar_preferences = g_settings_new("org.nemo.sidebar-panels.tree"); + gnome_lockdown_preferences = g_settings_new("org.gnome.desktop.lockdown"); + gnome_background_preferences = g_settings_new("org.gnome.desktop.background"); +- gnome_media_handling_preferences = g_settings_new("org.gnome.desktop.media-handling"); ++ gnome_media_handling_preferences = g_settings_new("org.gnome.desktop.media-handling"); ++ gnome_terminal_preferences = g_settings_new("org.gnome.desktop.default-applications.terminal"); + } +diff -Naur linuxmint-nemo-63f7b44.orig/libnemo-private/nemo-global-preferences.h linuxmint-nemo-63f7b44/libnemo-private/nemo-global-preferences.h +--- linuxmint-nemo-63f7b44.orig/libnemo-private/nemo-global-preferences.h 2013-02-19 17:30:18.000000000 +0100 ++++ linuxmint-nemo-63f7b44/libnemo-private/nemo-global-preferences.h 2013-03-04 04:49:20.581767625 +0100 +@@ -211,6 +211,9 @@ + #define GNOME_DESKTOP_MEDIA_HANDLING_AUTOMOUNT_OPEN "automount-open" + #define GNOME_DESKTOP_MEDIA_HANDLING_AUTORUN "autorun-never" + ++/* Terminal */ ++#define GNOME_DESKTOP_TERMINAL_EXEC "exec" ++ + void nemo_global_preferences_init (void); + char *nemo_global_preferences_get_default_folder_viewer_preference_as_iid (void); + +@@ -224,6 +227,7 @@ + GSettings *gnome_lockdown_preferences; + GSettings *gnome_background_preferences; + GSettings *gnome_media_handling_preferences; ++GSettings *gnome_terminal_preferences; + + G_END_DECLS + +diff -Naur linuxmint-nemo-63f7b44.orig/src/nemo-view.c linuxmint-nemo-63f7b44/src/nemo-view.c +--- linuxmint-nemo-63f7b44.orig/src/nemo-view.c 2013-02-19 17:30:18.000000000 +0100 ++++ linuxmint-nemo-63f7b44/src/nemo-view.c 2013-03-04 04:14:47.222310992 +0100 +@@ -6716,7 +6716,8 @@ + open_in_terminal (gchar *location) + { + gchar *argv[2]; +- argv[0] = "x-terminal-emulator"; ++ argv[0] = g_settings_get_string (gnome_terminal_preferences, ++ GNOME_DESKTOP_TERMINAL_EXEC); + argv[1] = NULL; + g_spawn_async(location, argv, NULL, G_SPAWN_SEARCH_PATH, NULL, NULL, NULL, NULL); + } |