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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + + + /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 + + 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. + + + + +