From b0fdfa3a9ba61acab935e73e9adcab8bb8cdfd85 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 25 Nov 2008 06:28:21 +0000 Subject: [PATCH] 2.24.2 --- tab-switching.patch | 192 ++++++++++++++++++++++++-------------------- 1 file changed, 106 insertions(+), 86 deletions(-) diff --git a/tab-switching.patch b/tab-switching.patch index 79cd578..a969214 100644 --- a/tab-switching.patch +++ b/tab-switching.patch @@ -1,10 +1,16 @@ -diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome-terminal-2.24.1/src/gnome-terminal.schemas.in ---- gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching 2008-10-21 22:14:28.000000000 -0400 -+++ gnome-terminal-2.24.1/src/gnome-terminal.schemas.in 2008-10-21 22:14:49.000000000 -0400 -@@ -921,6 +921,15 @@ - gnome-terminal - string - <Alt>1 +diff -up gnome-terminal-2.24.2/src/gnome-terminal.schemas.in.tab-switching gnome-terminal-2.24.2/src/gnome-terminal.schemas.in +--- gnome-terminal-2.24.2/src/gnome-terminal.schemas.in.tab-switching 2008-11-24 12:00:03.000000000 -0500 ++++ gnome-terminal-2.24.2/src/gnome-terminal.schemas.in 2008-11-25 01:23:43.000000000 -0500 +@@ -982,6 +982,211 @@ + + + ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_1 ++ /apps/gnome-terminal/keybindings/switch_to_tab_1 ++ gnome-terminal ++ string ++ <Alt>1 + + Keyboard shortcut to switch to tab 1 + @@ -14,13 +20,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -929,6 +938,15 @@ - gnome-terminal - string - <Alt>2 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_2 ++ /apps/gnome-terminal/keybindings/switch_to_tab_2 ++ gnome-terminal ++ string ++ <Alt>2 + + Keyboard shortcut to switch to tab 2 + @@ -30,13 +37,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -937,6 +955,15 @@ - gnome-terminal - string - <Alt>3 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_3 ++ /apps/gnome-terminal/keybindings/switch_to_tab_3 ++ gnome-terminal ++ string ++ <Alt>3 + + Keyboard shortcut to switch to tab 3 + @@ -46,13 +54,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -945,6 +972,15 @@ - gnome-terminal - string - <Alt>4 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_4 ++ /apps/gnome-terminal/keybindings/switch_to_tab_4 ++ gnome-terminal ++ string ++ <Alt>4 + + Keyboard shortcut to switch to tab 4 + @@ -62,13 +71,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -953,6 +989,15 @@ - gnome-terminal - string - <Alt>5 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_5 ++ /apps/gnome-terminal/keybindings/switch_to_tab_5 ++ gnome-terminal ++ string ++ <Alt>5 + + Keyboard shortcut to switch to tab 5 + @@ -78,13 +88,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -961,6 +1006,15 @@ - gnome-terminal - string - <Alt>6 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_6 ++ /apps/gnome-terminal/keybindings/switch_to_tab_6 ++ gnome-terminal ++ string ++ <Alt>6 + + Keyboard shortcut to switch to tab 6 + @@ -94,13 +105,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -969,6 +1023,15 @@ - gnome-terminal - string - <Alt>7 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_7 ++ /apps/gnome-terminal/keybindings/switch_to_tab_7 ++ gnome-terminal ++ string ++ <Alt>7 + + Keyboard shortcut to switch to tab 7 + @@ -110,13 +122,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -977,6 +1040,15 @@ - gnome-terminal - string - <Alt>8 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_8 ++ /apps/gnome-terminal/keybindings/switch_to_tab_8 ++ gnome-terminal ++ string ++ <Alt>8 + + Keyboard shortcut to switch to tab 8 + @@ -126,13 +139,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -985,6 +1057,15 @@ - gnome-terminal - string - <Alt>9 ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_9 ++ /apps/gnome-terminal/keybindings/switch_to_tab_9 ++ gnome-terminal ++ string ++ <Alt>9 + + Keyboard shortcut to switch to tab 9 + @@ -142,13 +156,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -993,6 +1074,15 @@ - gnome-terminal - string - ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_10 ++ /apps/gnome-terminal/keybindings/switch_to_tab_10 ++ gnome-terminal ++ string ++ + + Keyboard shortcut to switch to tab 10 + @@ -158,13 +173,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -1001,6 +1091,15 @@ - gnome-terminal - string - ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_11 ++ /apps/gnome-terminal/keybindings/switch_to_tab_11 ++ gnome-terminal ++ string ++ + + Keyboard shortcut to switch to tab 11 + @@ -174,13 +190,14 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - - - -@@ -1009,6 +1108,15 @@ - gnome-terminal - string - ++ ++ ++ ++ /schemas/apps/gnome-terminal/keybindings/switch_to_tab_12 ++ /apps/gnome-terminal/keybindings/switch_to_tab_12 ++ gnome-terminal ++ string ++ + + Keyboard shortcut to switch to tab 12 + @@ -190,6 +207,9 @@ diff -up gnome-terminal-2.24.1/src/gnome-terminal.schemas.in.tab-switching gnome + will be no keyboard shortcut for this action. + + - ++ ++ - + + ++