From 2ae52cefe6a8a07ca53b1e6a6e069720dbded2e3 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Oct 22 2008 02:23:43 +0000 Subject: make tab switching shortcuts work again --- diff --git a/gnome-terminal.spec b/gnome-terminal.spec index 18174f5..a3fe197 100644 --- a/gnome-terminal.spec +++ b/gnome-terminal.spec @@ -11,11 +11,13 @@ Summary: GNOME Terminal Name: gnome-terminal Version: 2.24.1 -Release: 1%{?dist} +Release: 2%{?dist} URL: http://www.gnome.org/ Source0: http://download.gnome.org/sources/gnome-terminal/2.24/gnome-terminal-%{version}.tar.bz2 # Fix gnome.org Bug 338913 – Terminal resized when switching tabs Patch2: gnome-terminal-2.15.0-338913-revert-336325.patch +# From upstream trunk +Patch3: tab-switching.patch License: GPLv2+ and GFDL Group: User Interface/Desktops @@ -52,6 +54,7 @@ GNOME terminal emulator application. %prep %setup -q %patch2 -p1 -b .338913-revert-336325 +%patch3 -p1 -b .tab-switching %build @@ -131,6 +134,9 @@ scrollkeeper-update -q %{_libdir}/bonobo/servers/gnome-terminal.server %changelog +* Tue Oct 21 2008 Matthias Clasen - 2.24.1-2 +- Make tab switching shortcuts work again + * Mon Oct 20 2008 Matthias Clasen - 2.24.1-1 - Update to 2.24.1 diff --git a/tab-switching.patch b/tab-switching.patch new file mode 100644 index 0000000..79cd578 --- /dev/null +++ b/tab-switching.patch @@ -0,0 +1,195 @@ +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 ++ ++ Keyboard shortcut to switch to tab 1 ++ ++ Keyboard shortcut key for switch to tab 1. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -929,6 +938,15 @@ + gnome-terminal + string + <Alt>2 ++ ++ Keyboard shortcut to switch to tab 2 ++ ++ Keyboard shortcut key for switch to tab 2. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -937,6 +955,15 @@ + gnome-terminal + string + <Alt>3 ++ ++ Keyboard shortcut to switch to tab 3 ++ ++ Keyboard shortcut key for switch to tab 3. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -945,6 +972,15 @@ + gnome-terminal + string + <Alt>4 ++ ++ Keyboard shortcut to switch to tab 4 ++ ++ Keyboard shortcut key for switch to tab 4. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -953,6 +989,15 @@ + gnome-terminal + string + <Alt>5 ++ ++ Keyboard shortcut to switch to tab 5 ++ ++ Keyboard shortcut key for switch to tab 5. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -961,6 +1006,15 @@ + gnome-terminal + string + <Alt>6 ++ ++ Keyboard shortcut to switch to tab 6 ++ ++ Keyboard shortcut key for switch to tab 6. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -969,6 +1023,15 @@ + gnome-terminal + string + <Alt>7 ++ ++ Keyboard shortcut to switch to tab 7 ++ ++ Keyboard shortcut key for switch to tab 7. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -977,6 +1040,15 @@ + gnome-terminal + string + <Alt>8 ++ ++ Keyboard shortcut to switch to tab 8 ++ ++ Keyboard shortcut key for switch to tab 8. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -985,6 +1057,15 @@ + gnome-terminal + string + <Alt>9 ++ ++ Keyboard shortcut to switch to tab 9 ++ ++ Keyboard shortcut key for switch to tab 9. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -993,6 +1074,15 @@ + gnome-terminal + string + ++ ++ Keyboard shortcut to switch to tab 10 ++ ++ Keyboard shortcut key for switch to tab 10. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -1001,6 +1091,15 @@ + gnome-terminal + string + ++ ++ Keyboard shortcut to switch to tab 11 ++ ++ Keyboard shortcut key for switch to tab 11. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + + +@@ -1009,6 +1108,15 @@ + gnome-terminal + string + ++ ++ Keyboard shortcut to switch to tab 12 ++ ++ Keyboard shortcut key for switch to tab 12. Expressed as a string ++ in the same format used for GTK+ resource files. ++ If you set the option to the special string "disabled", then there ++ will be no keyboard shortcut for this action. ++ ++ + + +