From 2c863a5548c9a11846b81581a87775f444aeab7b Mon Sep 17 00:00:00 2001 From: Simeon Simeonov Date: Fri, 13 Jan 2023 08:23:44 +0100 Subject: Add x11-terms/terminator yet again since single tab patch was removed from upstream --- .../files/terminator-1.92-single-tab.patch | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 x11-terms/terminator/files/terminator-1.92-single-tab.patch (limited to 'x11-terms/terminator/files/terminator-1.92-single-tab.patch') diff --git a/x11-terms/terminator/files/terminator-1.92-single-tab.patch b/x11-terms/terminator/files/terminator-1.92-single-tab.patch new file mode 100644 index 0000000..0535e00 --- /dev/null +++ b/x11-terms/terminator/files/terminator-1.92-single-tab.patch @@ -0,0 +1,24 @@ +diff -rupN terminator-2.1.2.old/terminatorlib/terminal.py terminator-2.1.2/terminatorlib/terminal.py +--- terminator-2.1.2.old/terminatorlib/terminal.py 2022-10-19 16:22:21.000000000 +0200 ++++ terminator-2.1.2/terminatorlib/terminal.py 2023-01-13 08:16:57.109231720 +0100 +@@ -910,6 +910,20 @@ class Terminal(Gtk.VBox): + # FIXME: Does keybindings really want to live in Terminator()? + mapping = self.terminator.keybindings.lookup(event) + ++ # Just propagate tab-swictch events if there is only one tab ++ if ( ++ mapping and ( ++ mapping.startswith('switch_to_tab') ++ or mapping in ('next_tab', 'prev_tab') ++ ) ++ ): ++ window = self.get_toplevel() ++ child = window.get_children()[0] ++ if isinstance(child, Terminal): ++ # not a Notebook instance => a single tab is used ++ # .get_n_pages() can not be used ++ return False ++ + if mapping == "hide_window": + return False + -- cgit v1.3