53 *fontMenu*font1*Label: Isabelle 14" -xrm "\ |
53 *fontMenu*font1*Label: Isabelle 14" -xrm "\ |
54 *VT100*font1: isabelle14" -xrm "\ |
54 *VT100*font1: isabelle14" -xrm "\ |
55 *fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ |
55 *fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ |
56 *VT100*font2: isabelle24" -xrm "\ |
56 *VT100*font2: isabelle24" -xrm "\ |
57 *xterm*vt100.translations: #override\ |
57 *xterm*vt100.translations: #override\ |
|
58 !Mod2 <Key>space: string(0xa0) \n\ |
58 !Mod2 Shift <Key>g: string(0xa1) \n\ |
59 !Mod2 Shift <Key>g: string(0xa1) \n\ |
59 !Mod2 Shift <Key>d: string(0xa2) \n\ |
60 !Mod2 Shift <Key>d: string(0xa2) \n\ |
60 !Mod2 Shift <Key>j: string(0xa3) \n\ |
61 !Mod2 Shift <Key>j: string(0xa3) \n\ |
61 !Mod2 Shift <Key>l: string(0xa4) \n\ |
62 !Mod2 Shift <Key>l: string(0xa4) \n\ |
62 !Mod2 Shift <Key>p: string(0xa5) \n\ |
63 !Mod2 Shift <Key>p: string(0xa5) \n\ |
89 !Mod4 <Key>a: string(0xc0) \n\ |
90 !Mod4 <Key>a: string(0xc0) \n\ |
90 !Mod4 <Key>o: string(0xc1) \n\ |
91 !Mod4 <Key>o: string(0xc1) \n\ |
91 !Mod4 <Key>f: string(0xc2) \n\ |
92 !Mod4 <Key>f: string(0xc2) \n\ |
92 !Mod4 <Key>t: string(0xc3) \n\ |
93 !Mod4 <Key>t: string(0xc3) \n\ |
93 !Mod4 Shift <Key>f: string(0xc4) \n\ |
94 !Mod4 Shift <Key>f: string(0xc4) \n\ |
94 !Ctrl <Key>F5: string(0xc5) \n\ |
|
95 !Ctrl <Key>F6: string(0xc6) \n\ |
|
96 !Ctrl <Key>F7: string(0xc7) \n\ |
|
97 !Ctrl <Key>F8: string(0xc8) \n\ |
|
98 !Ctrl <Key>F9: string(0xc9) \n\ |
|
99 !Ctrl <Key>F10: string(0xca) \n\ |
|
100 !Ctrl <Key>F11: string(0xcb) \n\ |
|
101 !Ctrl <Key>F12: string(0xcc) \n\ |
|
102 !Mod4 <Key>F5: string(0xcf) \n\ |
|
103 !Mod4 <Key>F6: string(0xf9) \n\ |
|
104 !Mod4 <Key>F7: string(0xfa) \n\ |
|
105 !Mod4 <Key>F1: string(0xd0) \n\ |
|
106 !Mod4 <Key>F2: string(0xd1) \n\ |
|
107 !Mod4 <Key>F3: string(0xd2) \n\ |
|
108 !Mod4 <Key>F4: string(0xd3) \n\ |
|
109 !Ctrl <Key>F1: string(0xd4) \n\ |
|
110 !Ctrl <Key>F2: string(0xd5) \n\ |
|
111 !Ctrl <Key>F3: string(0xd6) \n\ |
|
112 !Ctrl <Key>F4: string(0xd7) \n\ |
|
113 !Mod4 <Key>b: string(0xd8) \n\ |
95 !Mod4 <Key>b: string(0xd8) \n\ |
114 !Mod4 <Key>e: string(0xd9) \n\ |
96 !Mod4 <Key>e: string(0xd9) \n\ |
115 !Mod4 Shift <Key>e: string(0xda) \n\ |
97 !Mod4 Shift <Key>e: string(0xda) \n\ |
116 !Mod4 <Key>u: string(0xdb) \n\ |
98 !Mod4 <Key>u: string(0xdb) \n\ |
117 !Mod4 <Key>p: string(0xdc) \n\ |
99 !Mod4 <Key>p: string(0xdc) \n\ |
120 !Mod4 Shift <Key>l: string(0xdf) \n\ |
102 !Mod4 Shift <Key>l: string(0xdf) \n\ |
121 !Mod4 <Key>g: string(0xe0) \n\ |
103 !Mod4 <Key>g: string(0xe0) \n\ |
122 !Mod4 Shift <Key>g: string(0xe1) \n\ |
104 !Mod4 Shift <Key>g: string(0xe1) \n\ |
123 !Mod4 <Key>s: string(0xe2) \n\ |
105 !Mod4 <Key>s: string(0xe2) \n\ |
124 !Mod4 Shift <Key>s: string(0xe3) \n\ |
106 !Mod4 Shift <Key>s: string(0xe3) \n\ |
125 !Shift <Key>F11: string(0xe4) \n\ |
107 !Mod4 <Key>i: string(0xe7) string(0xe8) \n\ |
126 !Shift <Key>F12: string(0xe5) \n\ |
108 !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\ |
127 !Mod2 <Key>F1: string(0xe6) \n\ |
109 !Mod4 Shift <Key>m: string(0xe8) \n\ |
128 !Mod2 <Key>F2: string(0xe7) \n\ |
110 !Mod4 <Key>m: string(0xeb) \n\ |
129 !Mod2 <Key>F3: string(0xe8) \n\ |
111 !Mod4 Shift <Key>n: string(0xf7) \n\ |
|
112 !Mod4 <Key>x: string(0xf2) \n\ |
|
113 ! <Key>F2: string(0xe4) \n\ |
|
114 ! <Key>F3: string(0xdd) \n\ |
|
115 ! <Key>F4: string(0xcf) \n\ |
|
116 ! <Key>F5: string(0xce) \n\ |
|
117 ! <Key>F6: string(0xf1) \n\ |
|
118 ! <Key>F7: string(0xe5) \n\ |
|
119 ! <Key>F8: string(0xda) \n\ |
|
120 ! <Key>F9: string(0xc4) \n\ |
|
121 ! <Key>F10: string(0xcb) \n\ |
|
122 ! <Key>F11: string(0xcc) \n\ |
|
123 ! <Key>F12: string(0xea) string(0xeb) \n\ |
130 !Shift <Key>F1: string(0xe9) \n\ |
124 !Shift <Key>F1: string(0xe9) \n\ |
131 !Shift <Key>F2: string(0xea) \n\ |
125 !Shift <Key>F2: string(0xea) \n\ |
132 !Shift <Key>F3: string(0xeb) \n\ |
126 !Shift <Key>F3: string(0xeb) \n\ |
133 !Mod2 <Key>F5: string(0xec) \n\ |
127 !Shift <Key>F4: string(0xe9) string(0xeb) \n\ |
134 !Mod2 <Key>F6: string(0xed) \n\ |
|
135 !Mod2 <Key>F7: string(0xee) \n\ |
|
136 !Mod2 <Key>F8: string(0xef) \n\ |
|
137 !Mod2 <Key>F9: string(0xf0) \n\ |
|
138 !Mod2 <Key>F10: string(0xcd) \n\ |
|
139 !Mod4 <Key>x: string(0xf2) \n\ |
|
140 !Shift <Key>F5: string(0xf3) \n\ |
128 !Shift <Key>F5: string(0xf3) \n\ |
141 !Shift <Key>F6: string(0xf4) \n\ |
129 !Shift <Key>F6: string(0xf4) \n\ |
142 !Shift <Key>F7: string(0xf5) \n\ |
130 !Shift <Key>F7: string(0xf5) \n\ |
143 !Shift <Key>F8: string(0xf6) \n\ |
131 !Shift <Key>F8: string(0xf6) \n\ |
144 !Shift <Key>F9: string(0xf7) \n\ |
132 !Shift <Key>F9: string(0xca) \n\ |
145 !Shift <Key>F10: string(0xf8) \n\ |
133 !Shift <Key>F10: string(0xc9) \n\ |
146 !Mod2 <Key>F11: string(0xce) \n\ |
134 !Ctrl <Key>F1: string(0xe6) \n\ |
147 !Mod2 <Key>F12: string(0xf1) \n\ |
135 !Ctrl <Key>F2: string(0xe7) \n\ |
148 !Mod4 <Key>F8: string(0xfb) \n\ |
136 !Ctrl <Key>F3: string(0xe8) \n\ |
149 !Mod4 <Key>F9: string(0xfc) \n\ |
137 !Ctrl <Key>F4: string(0xe6) string(0xe8) \n\ |
150 !Mod4 <Key>F10: string(0xfd) \n\ |
138 !Ctrl <Key>F5: string(0xc5) \n\ |
|
139 !Ctrl <Key>F6: string(0xc6) \n\ |
|
140 !Ctrl <Key>F7: string(0xc7) \n\ |
|
141 !Ctrl <Key>F8: string(0xc8) \n\ |
|
142 !Ctrl <Key>F9: string(0xfd) \n\ |
|
143 !Ctrl <Key>F10: string(0xcd) \n\ |
|
144 !Mod2 <Key>F1: string(0xed) \n\ |
|
145 !Mod2 <Key>F2: string(0xee) \n\ |
|
146 !Mod2 <Key>F3: string(0xef) \n\ |
|
147 !Mod2 <Key>F4: string(0xf0) \n\ |
|
148 !Mod2 <Key>F5: string(0xd4) \n\ |
|
149 !Mod2 <Key>F6: string(0xd5) \n\ |
|
150 !Mod2 <Key>F7: string(0xd6) \n\ |
|
151 !Mod2 <Key>F8: string(0xd7) \n\ |
|
152 !Mod2 <Key>F9: string(0xdc) \n\ |
|
153 !Mod2 <Key>F10: string(0xf8) \n\ |
|
154 !Mod4 <Key>F1: string(0xf9) \n\ |
|
155 !Mod4 <Key>F2: string(0xfa) \n\ |
|
156 !Mod4 <Key>F3: string(0xfb) \n\ |
|
157 !Mod4 <Key>F4: string(0xfc) \n\ |
|
158 !Mod4 <Key>F5: string(0xd0) \n\ |
|
159 !Mod4 <Key>F6: string(0xd1) \n\ |
|
160 !Mod4 <Key>F7: string(0xd2) \n\ |
|
161 !Mod4 <Key>F8: string(0xd3) \n\ |
|
162 !Mod4 <Key>F9: string(0xf7) \n\ |
|
163 !Mod4 <Key>F10: string(0xec) \n\ |
151 !Mod4 <Key>F11: string(0xfe) \n\ |
164 !Mod4 <Key>F11: string(0xfe) \n\ |
152 !Mod4 <Key>F12: string(0xff) \n\ |
165 !Mod4 <Key>F12: string(0xff) \ |
153 !Shift <Key>F4: string(0xe9) string(0xeb) \n\ |
|
154 !Mod2 <Key>F4: string(0xe6) string(0xe8) \n\ |
|
155 !Mod4 <Key>i: string(0xe7) string(0xe8) \n\ |
|
156 !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\ |
|
157 !Mod4 <Key>m: string(0xe8) \n\ |
|
158 !Mod4 Shift <Key>m: string(0xeb) \n\ |
|
159 !Mod4 Shift <Key>n: string(0xf7) \n\ |
|
160 ! <Key>F9: string(0xc4) \n\ |
|
161 ! <Key>F10: string(0xea) string(0xeb) \n\ |
|
162 ! <Key>F11: string(0xda) \n\ |
|
163 ! <Key>F12: string(0xdb) \ |
|
164 " $* -e $ISATERMDIR/initisaterm |
166 " $* -e $ISATERMDIR/initisaterm |