1
diff -Nur -x '*.orig' -x '*~' gnome-terminal-2.24.1/src/gnome-terminal.schemas.in gnome-terminal-2.24.1.new/src/gnome-terminal.schemas.in
2
--- gnome-terminal-2.24.1/src/gnome-terminal.schemas.in 2008-10-20 18:58:15.000000000 +0100
3
+++ gnome-terminal-2.24.1.new/src/gnome-terminal.schemas.in 2008-10-21 15:20:55.000000000 +0100
5
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_1</applyto>
6
<owner>gnome-terminal</owner>
9
<default><Alt>1</default>
15
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_2</applyto>
16
<owner>gnome-terminal</owner>
19
<default><Alt>2</default>
25
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_3</applyto>
26
<owner>gnome-terminal</owner>
29
<default><Alt>3</default>
35
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_4</applyto>
36
<owner>gnome-terminal</owner>
39
<default><Alt>4</default>
45
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_5</applyto>
46
<owner>gnome-terminal</owner>
49
<default><Alt>5</default>
55
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_6</applyto>
56
<owner>gnome-terminal</owner>
59
<default><Alt>6</default>
65
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_7</applyto>
66
<owner>gnome-terminal</owner>
69
<default><Alt>7</default>
75
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_8</applyto>
76
<owner>gnome-terminal</owner>
79
<default><Alt>8</default>
85
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_9</applyto>
86
<owner>gnome-terminal</owner>
89
<default><Alt>9</default>
95
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_10</applyto>
96
<owner>gnome-terminal</owner>
104
@@ -1000,7 +1020,9 @@
105
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_11</applyto>
106
<owner>gnome-terminal</owner>
114
@@ -1008,7 +1030,9 @@
115
<applyto>/apps/gnome-terminal/keybindings/switch_to_tab_12</applyto>
116
<owner>gnome-terminal</owner>