|
1 #!/bin/bash |
|
2 ############################################### |
|
3 # Title: Tools/8bit/vim/isavim |
|
4 # ID: $Id$ |
|
5 # Author: Franz Regensburger |
|
6 # Copyright 1995 TU Muenchen |
|
7 # |
|
8 # open an xterm with isabelle font and start vim editor |
|
9 # derived from vispec |
|
10 # |
|
11 # Franz Regensburger <regensbu@informatik.tu-muenchen.de> 22.3.95 |
|
12 # |
|
13 ############################################### |
|
14 # |
|
15 # The script `isavim' opens the editor vim in a xterm window with the |
|
16 # special 8bit font for Isabelle. It also provides keyboard bindings for |
|
17 # the access to the graphical characters. |
|
18 # |
|
19 # The script is configured by the master makefile ../Makefile and |
|
20 # the perl script ../bin/gen-isavim which reads the configuration file |
|
21 # ../config/key-table.inp. Edit these files to make changes! |
|
22 # |
|
23 |
|
24 ############################################### |
|
25 # do not edit below |
|
26 ############################################### |
|
27 |
|
28 # directory where the scripts isaterm and initisaterm a located |
|
29 ISAVIMDIR=$ISABELLE8BIT/vim |
|
30 |
|
31 # make bash, axe, and vim accept 8 bit input |
|
32 #export LANG=iso_8859_1 |
|
33 export LESSCHARSET=latin1 |
|
34 export INPUTRC=$ISABELLE8BIT/keyboard/bash.inputrc |
|
35 |
|
36 ############################################### |
|
37 # Everything below and including the line |
|
38 # `*xterm*vt100.translations: #override\' |
|
39 # is configured by the perl script `gen-isavim'. |
|
40 # |
|
41 # DO NOT EDIT THE TRANSLATION MAP. |
|
42 # |
|
43 # In order to make changes to the keyboard mappings you should edit |
|
44 # the configuration file `key-table.inp' which is interpreted by |
|
45 # the perl script `gen-isavim', |
|
46 ############################################### |
|
47 |
|
48 # start xterm ; keyboard translations are given as resource string |
|
49 # the fonts can be selected in the xterm via ctrl-button3 |
|
50 |
|
51 #xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\ |
|
52 #*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\ |
|
53 #*fontMenu*font1*Label: Isabelle 13" -xrm "\ |
|
54 #*VT100*font1: isacr13" -xrm "\ |
|
55 #*fontMenu*font2*Label: Isabelle 14" -xrm "\ |
|
56 #*VT100*font2: isacr14" -xrm "\ |
|
57 #*fontMenu*font3*Label: Isabelle 24 bold" -xrm "\ |
|
58 #*VT100*font3: isacb24" -xrm "\ |
|
59 #*fontMenu*font4*Label: Old Isabelle 14" -xrm "\ |
|
60 #*VT100*font4: oldisacr14" -xrm "\ |
|
61 #*fontMenu*font5*Label: Spectrum 14" -xrm "\ |
|
62 #*VT100*font5: spcr14" -xrm "\ |
|
63 #*xterm*vt100.translations: #override\ |
|
64 |
|
65 xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\ |
|
66 *fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\ |
|
67 *fontMenu*font1*Label: Isabelle 14" -xrm "\ |
|
68 *VT100*font1: isacr14" -xrm "\ |
|
69 *fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ |
|
70 *VT100*font2: isacb24" -xrm "\ |
|
71 *xterm*vt100.translations: #override\ |
|
72 !Mod2 Shift <Key>g: string(0xa1) \n\ |
|
73 !Mod2 Shift <Key>d: string(0xa2) \n\ |
|
74 !Mod2 Shift <Key>j: string(0xa3) \n\ |
|
75 !Mod2 Shift <Key>l: string(0xa4) \n\ |
|
76 !Mod2 Shift <Key>p: string(0xa5) \n\ |
|
77 !Mod2 Shift <Key>s: string(0xa6) \n\ |
|
78 !Mod2 Shift <Key>f: string(0xa7) \n\ |
|
79 !Mod2 Shift <Key>q: string(0xa8) \n\ |
|
80 !Mod2 Shift <Key>w: string(0xa9) \n\ |
|
81 !Mod2 <Key>a: string(0xaa) \n\ |
|
82 !Mod2 <Key>b: string(0xab) \n\ |
|
83 !Mod2 <Key>g: string(0xac) \n\ |
|
84 !Mod2 <Key>d: string(0xad) \n\ |
|
85 !Mod2 <Key>e: string(0xae) \n\ |
|
86 !Mod2 <Key>z: string(0xaf) \n\ |
|
87 !Mod2 <Key>h: string(0xb0) \n\ |
|
88 !Mod2 <Key>j: string(0xb1) \n\ |
|
89 !Mod2 <Key>k: string(0xb2) \n\ |
|
90 !Mod2 <Key>l: string(0xb3) \n\ |
|
91 !Mod2 <Key>m: string(0xb4) \n\ |
|
92 !Mod2 <Key>n: string(0xb5) \n\ |
|
93 !Mod2 <Key>x: string(0xb6) \n\ |
|
94 !Mod2 <Key>p: string(0xb7) \n\ |
|
95 !Mod2 <Key>r: string(0xb8) \n\ |
|
96 !Mod2 <Key>s: string(0xb9) \n\ |
|
97 !Mod2 <Key>t: string(0xba) \n\ |
|
98 !Mod2 <Key>f: string(0xbb) \n\ |
|
99 !Mod2 <Key>c: string(0xbc) \n\ |
|
100 !Mod2 <Key>q: string(0xbd) \n\ |
|
101 !Mod2 <Key>w: string(0xbe) \n\ |
|
102 !Mod4 <Key>n: string(0xbf) \n\ |
|
103 !Mod4 <Key>a: string(0xc0) \n\ |
|
104 !Mod4 <Key>o: string(0xc1) \n\ |
|
105 !Mod4 <Key>f: string(0xc2) \n\ |
|
106 !Mod4 <Key>t: string(0xc3) \n\ |
|
107 !Mod4 Shift <Key>f: string(0xc4) \n\ |
|
108 !Ctrl <Key>F5: string(0xc5) \n\ |
|
109 !Ctrl <Key>F6: string(0xc6) \n\ |
|
110 !Ctrl <Key>F7: string(0xc7) \n\ |
|
111 !Ctrl <Key>F8: string(0xc8) \n\ |
|
112 !Ctrl <Key>F9: string(0xc9) \n\ |
|
113 !Ctrl <Key>F10: string(0xca) \n\ |
|
114 !Ctrl <Key>F11: string(0xcb) \n\ |
|
115 !Ctrl <Key>F12: string(0xcc) \n\ |
|
116 !Mod4 <Key>F5: string(0xcf) \n\ |
|
117 !Mod4 <Key>F6: string(0xf9) \n\ |
|
118 !Mod4 <Key>F7: string(0xfa) \n\ |
|
119 !Mod4 <Key>F1: string(0xd0) \n\ |
|
120 !Mod4 <Key>F2: string(0xd1) \n\ |
|
121 !Mod4 <Key>F3: string(0xd2) \n\ |
|
122 !Mod4 <Key>F4: string(0xd3) \n\ |
|
123 !Ctrl <Key>F1: string(0xd4) \n\ |
|
124 !Ctrl <Key>F2: string(0xd5) \n\ |
|
125 !Ctrl <Key>F3: string(0xd6) \n\ |
|
126 !Ctrl <Key>F4: string(0xd7) \n\ |
|
127 !Mod4 <Key>b: string(0xd8) \n\ |
|
128 !Mod4 <Key>e: string(0xd9) \n\ |
|
129 !Mod4 Shift <Key>e: string(0xda) \n\ |
|
130 !Mod4 <Key>u: string(0xdb) \n\ |
|
131 !Mod4 <Key>p: string(0xdc) \n\ |
|
132 !Mod4 Shift <Key>p: string(0xdd) \n\ |
|
133 !Mod4 <Key>l: string(0xde) \n\ |
|
134 !Mod4 Shift <Key>l: string(0xdf) \n\ |
|
135 !Mod4 <Key>g: string(0xe0) \n\ |
|
136 !Mod4 Shift <Key>g: string(0xe1) \n\ |
|
137 !Mod4 <Key>s: string(0xe2) \n\ |
|
138 !Mod4 Shift <Key>s: string(0xe3) \n\ |
|
139 !Shift <Key>F11: string(0xe4) \n\ |
|
140 !Shift <Key>F12: string(0xe5) \n\ |
|
141 !Mod2 <Key>F1: string(0xe6) \n\ |
|
142 !Mod2 <Key>F2: string(0xe7) \n\ |
|
143 !Mod2 <Key>F3: string(0xe8) \n\ |
|
144 !Shift <Key>F1: string(0xe9) \n\ |
|
145 !Shift <Key>F2: string(0xea) \n\ |
|
146 !Shift <Key>F3: string(0xeb) \n\ |
|
147 !Mod2 <Key>F5: string(0xec) \n\ |
|
148 !Mod2 <Key>F6: string(0xed) \n\ |
|
149 !Mod2 <Key>F7: string(0xee) \n\ |
|
150 !Mod2 <Key>F8: string(0xef) \n\ |
|
151 !Mod2 <Key>F9: string(0xf0) \n\ |
|
152 !Mod2 <Key>F10: string(0xcd) \n\ |
|
153 !Mod4 <Key>x: string(0xf2) \n\ |
|
154 !Shift <Key>F5: string(0xf3) \n\ |
|
155 !Shift <Key>F6: string(0xf4) \n\ |
|
156 !Shift <Key>F7: string(0xf5) \n\ |
|
157 !Shift <Key>F8: string(0xf6) \n\ |
|
158 !Shift <Key>F9: string(0xf7) \n\ |
|
159 !Shift <Key>F10: string(0xf8) \n\ |
|
160 !Mod2 <Key>F11: string(0xce) \n\ |
|
161 !Mod2 <Key>F12: string(0xf1) \n\ |
|
162 !Mod4 <Key>F8: string(0xfb) \n\ |
|
163 !Mod4 <Key>F9: string(0xfc) \n\ |
|
164 !Mod4 <Key>F10: string(0xfd) \n\ |
|
165 !Mod4 <Key>F11: string(0xfe) \n\ |
|
166 !Mod4 <Key>F12: string(0xff) \n\ |
|
167 !Shift <Key>F4: string(0xe9) string(0xeb) \n\ |
|
168 !Mod2 <Key>F4: string(0xe6) string(0xe8) \n\ |
|
169 !Mod4 <Key>i: string(0xe7) string(0xe8) \n\ |
|
170 !Mod4 Shift <Key>i: string(0xea) string(0xeb) \n\ |
|
171 !Mod4 <Key>m: string(0xe8) \n\ |
|
172 !Mod4 Shift <Key>m: string(0xeb) \n\ |
|
173 !Mod4 Shift <Key>n: string(0xf7) \n\ |
|
174 ! <Key>F9: string(0xc4) \n\ |
|
175 ! <Key>F10: string(0xea) string(0xeb) \n\ |
|
176 ! <Key>F11: string(0xda) \n\ |
|
177 ! <Key>F12: string(0xdb) \ |
|
178 " -e $ISAVIMDIR/initvim $* |