2008-11-25 06:28:21 +00:00
|
|
|
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 @@
|
|
|
|
</long>
|
|
|
|
</locale>
|
|
|
|
</schema>
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_1</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_1</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>1</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 1</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_2</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_2</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>2</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 2</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_3</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_3</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>3</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 3</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_4</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_4</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>4</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 4</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_5</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_5</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>5</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 5</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_6</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_6</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>6</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 6</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_7</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_7</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>7</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 7</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_8</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_8</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>8</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 8</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_9</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_9</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+ <default><Alt>9</default>
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 9</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_10</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_10</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+<!-- no default -->
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 10</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_11</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_11</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+<!-- no default -->
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 11</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
|
|
|
+ <schema>
|
|
|
|
+ <key>/schemas/apps/gnome-terminal/keybindings/switch_to_tab_12</key>
|
|
|
|
+ <applyto>/apps/gnome-terminal/keybindings/switch_to_tab_12</applyto>
|
|
|
|
+ <owner>gnome-terminal</owner>
|
|
|
|
+ <type>string</type>
|
|
|
|
+<!-- no default -->
|
2008-10-22 02:23:43 +00:00
|
|
|
+ <locale name="C">
|
|
|
|
+ <short>Keyboard shortcut to switch to tab 12</short>
|
|
|
|
+ <long>
|
|
|
|
+ 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.
|
|
|
|
+ </long>
|
|
|
|
+ </locale>
|
2008-11-25 06:28:21 +00:00
|
|
|
+ </schema>
|
|
|
|
+
|
2008-10-22 02:23:43 +00:00
|
|
|
|
2008-11-25 06:28:21 +00:00
|
|
|
</schemalist>
|
|
|
|
</gconfschemafile>
|
|
|
|
+
|