|
|
116407 |
From 05b62cc3b8454d435df5d7c312bbc27b1b12cc10 Mon Sep 17 00:00:00 2001
|
|
|
116407 |
From: Debarshi Ray <debarshir@gnome.org>
|
|
|
116407 |
Date: Mon, 5 Oct 2015 20:13:05 +0200
|
|
|
116407 |
Subject: [PATCH] window: Pass tab switching keys to the terminal for tabless
|
|
|
116407 |
windows
|
|
|
116407 |
|
|
|
116407 |
This was removed as a side effect of
|
|
|
116407 |
a319aeb66f36e728af1b4929ddd69574df838702
|
|
|
116407 |
|
|
|
116407 |
https://bugzilla.gnome.org/show_bug.cgi?id=730128
|
|
|
116407 |
---
|
|
|
116407 |
src/terminal-window.c | 4 ++++
|
|
|
116407 |
1 file changed, 4 insertions(+)
|
|
|
116407 |
|
|
|
116407 |
diff --git a/src/terminal-window.c b/src/terminal-window.c
|
|
|
116407 |
index ce85744eba6e..d6d3882d6ac4 100644
|
|
|
116407 |
--- a/src/terminal-window.c
|
|
|
116407 |
+++ b/src/terminal-window.c
|
|
|
116407 |
@@ -1819,6 +1819,7 @@ static void
|
|
|
116407 |
terminal_window_update_tabs_menu_sensitivity (TerminalWindow *window)
|
|
|
116407 |
{
|
|
|
116407 |
TerminalWindowPrivate *priv = window->priv;
|
|
|
116407 |
+ GAction *gaction;
|
|
|
116407 |
GtkActionGroup *action_group = priv->action_group;
|
|
|
116407 |
GtkAction *action;
|
|
|
116407 |
int num_pages, page_num;
|
|
|
116407 |
@@ -1855,6 +1856,9 @@ terminal_window_update_tabs_menu_sensitivity (TerminalWindow *window)
|
|
|
116407 |
gtk_action_set_sensitive (action, not_last);
|
|
|
116407 |
#endif
|
|
|
116407 |
|
|
|
116407 |
+ gaction = g_action_map_lookup_action (G_ACTION_MAP (window), "switch-tab");
|
|
|
116407 |
+ g_simple_action_set_enabled (G_SIMPLE_ACTION (gaction), num_pages > 1);
|
|
|
116407 |
+
|
|
|
116407 |
action = gtk_action_group_get_action (action_group, "TabsMoveLeft");
|
|
|
116407 |
gtk_action_set_sensitive (action, not_first);
|
|
|
116407 |
action = gtk_action_group_get_action (action_group, "TabsMoveRight");
|
|
|
116407 |
--
|
|
|
116407 |
2.1.0
|
|
|
116407 |
|