diff options
Diffstat (limited to 'x11-terms/terminator/files/terminator-1.92-single-tab.patch')
| -rw-r--r-- | x11-terms/terminator/files/terminator-1.92-single-tab.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/x11-terms/terminator/files/terminator-1.92-single-tab.patch b/x11-terms/terminator/files/terminator-1.92-single-tab.patch deleted file mode 100644 index 0535e00..0000000 --- a/x11-terms/terminator/files/terminator-1.92-single-tab.patch +++ /dev/null | |||
| @@ -1,24 +0,0 @@ | |||
| 1 | diff -rupN terminator-2.1.2.old/terminatorlib/terminal.py terminator-2.1.2/terminatorlib/terminal.py | ||
| 2 | --- terminator-2.1.2.old/terminatorlib/terminal.py 2022-10-19 16:22:21.000000000 +0200 | ||
| 3 | +++ terminator-2.1.2/terminatorlib/terminal.py 2023-01-13 08:16:57.109231720 +0100 | ||
| 4 | @@ -910,6 +910,20 @@ class Terminal(Gtk.VBox): | ||
| 5 | # FIXME: Does keybindings really want to live in Terminator()? | ||
| 6 | mapping = self.terminator.keybindings.lookup(event) | ||
| 7 | |||
| 8 | + # Just propagate tab-swictch events if there is only one tab | ||
| 9 | + if ( | ||
| 10 | + mapping and ( | ||
| 11 | + mapping.startswith('switch_to_tab') | ||
| 12 | + or mapping in ('next_tab', 'prev_tab') | ||
| 13 | + ) | ||
| 14 | + ): | ||
| 15 | + window = self.get_toplevel() | ||
| 16 | + child = window.get_children()[0] | ||
| 17 | + if isinstance(child, Terminal): | ||
| 18 | + # not a Notebook instance => a single tab is used | ||
| 19 | + # .get_n_pages() can not be used | ||
| 20 | + return False | ||
| 21 | + | ||
| 22 | if mapping == "hide_window": | ||
| 23 | return False | ||
| 24 | |||
