From a5960ce1cd2c436f3583afa4d4b10fa26244346a Mon Sep 17 00:00:00 2001 From: Mikhail Osipov Date: Thu, 26 Dec 2019 16:56:55 +0300 Subject: rename xfce4-terminal to terminal --- terminal/hotkey.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 terminal/hotkey.patch (limited to 'terminal/hotkey.patch') diff --git a/terminal/hotkey.patch b/terminal/hotkey.patch new file mode 100644 index 0000000..3f0853b --- /dev/null +++ b/terminal/hotkey.patch @@ -0,0 +1,12 @@ +diff -ruN xfce4-terminal-0.8.6/terminal/terminal-window.c xfce4-terminal-0.8.6.new/terminal/terminal-window.c +--- xfce4-terminal-0.8.6/terminal/terminal-window.c 2017-07-06 01:57:57.000000000 +0300 ++++ xfce4-terminal-0.8.6.new/terminal/terminal-window.c 2018-01-24 15:05:10.660780618 +0300 +@@ -325,7 +325,7 @@ + { "zoom-in", "zoom-in", N_ ("Zoom _In"), "plus", N_ ("Zoom in with larger font"), G_CALLBACK (terminal_window_action_zoom_in), }, + { "zoom-out", "zoom-out", N_ ("Zoom _Out"), "minus", N_ ("Zoom out with smaller font"), G_CALLBACK (terminal_window_action_zoom_out), }, + { "zoom-reset", "zoom-original", N_ ("_Normal Size"), "0", N_ ("Zoom to default size"), G_CALLBACK (terminal_window_action_zoom_reset), }, +- { "terminal-menu", NULL, N_ ("_Terminal"), NULL, NULL, NULL, }, ++ { "terminal-menu", NULL, N_ ("Terminal"), NULL, NULL, NULL, }, + { "set-title", NULL, N_ ("_Set Title..."), "s", NULL, G_CALLBACK (terminal_window_action_set_title), }, + { "search", "edit-find", N_ ("_Find..."), "f", N_ ("Search terminal contents"), G_CALLBACK (terminal_window_action_search), }, + { "search-next", NULL, N_ ("Find Ne_xt"), NULL, NULL, G_CALLBACK (terminal_window_action_search_next), }, -- cgit v1.2.3-70-g09d2