diff -r 88d4c33d7947 -r 2a2c0dbeb4ac src/Tools/8bit/vim/isavim --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/8bit/vim/isavim Tue Jun 25 17:44:43 1996 +0200 @@ -0,0 +1,178 @@ +#!/bin/bash +############################################### +# Title: Tools/8bit/vim/isavim +# ID: $Id$ +# Author: Franz Regensburger +# Copyright 1995 TU Muenchen +# +# open an xterm with isabelle font and start vim editor +# derived from vispec +# +# Franz Regensburger 22.3.95 +# +############################################### +# +# The script `isavim' opens the editor vim in a xterm window with the +# special 8bit font for Isabelle. It also provides keyboard bindings for +# the access to the graphical characters. +# +# The script is configured by the master makefile ../Makefile and +# the perl script ../bin/gen-isavim which reads the configuration file +# ../config/key-table.inp. Edit these files to make changes! +# + +############################################### +# do not edit below +############################################### + +# directory where the scripts isaterm and initisaterm a located +ISAVIMDIR=$ISABELLE8BIT/vim + +# make bash, axe, and vim accept 8 bit input +#export LANG=iso_8859_1 +export LESSCHARSET=latin1 +export INPUTRC=$ISABELLE8BIT/keyboard/bash.inputrc + +############################################### +# Everything below and including the line +# `*xterm*vt100.translations: #override\' +# is configured by the perl script `gen-isavim'. +# +# DO NOT EDIT THE TRANSLATION MAP. +# +# In order to make changes to the keyboard mappings you should edit +# the configuration file `key-table.inp' which is interpreted by +# the perl script `gen-isavim', +############################################### + +# start xterm ; keyboard translations are given as resource string +# the fonts can be selected in the xterm via ctrl-button3 + +#xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\ +#*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\ +#*fontMenu*font1*Label: Isabelle 13" -xrm "\ +#*VT100*font1: isacr13" -xrm "\ +#*fontMenu*font2*Label: Isabelle 14" -xrm "\ +#*VT100*font2: isacr14" -xrm "\ +#*fontMenu*font3*Label: Isabelle 24 bold" -xrm "\ +#*VT100*font3: isacb24" -xrm "\ +#*fontMenu*font4*Label: Old Isabelle 14" -xrm "\ +#*VT100*font4: oldisacr14" -xrm "\ +#*fontMenu*font5*Label: Spectrum 14" -xrm "\ +#*VT100*font5: spcr14" -xrm "\ +#*xterm*vt100.translations: #override\ + +xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\ +*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\ +*fontMenu*font1*Label: Isabelle 14" -xrm "\ +*VT100*font1: isacr14" -xrm "\ +*fontMenu*font2*Label: Isabelle 24 bold" -xrm "\ +*VT100*font2: isacb24" -xrm "\ +*xterm*vt100.translations: #override\ + !Mod2 Shift g: string(0xa1) \n\ + !Mod2 Shift d: string(0xa2) \n\ + !Mod2 Shift j: string(0xa3) \n\ + !Mod2 Shift l: string(0xa4) \n\ + !Mod2 Shift p: string(0xa5) \n\ + !Mod2 Shift s: string(0xa6) \n\ + !Mod2 Shift f: string(0xa7) \n\ + !Mod2 Shift q: string(0xa8) \n\ + !Mod2 Shift w: string(0xa9) \n\ + !Mod2 a: string(0xaa) \n\ + !Mod2 b: string(0xab) \n\ + !Mod2 g: string(0xac) \n\ + !Mod2 d: string(0xad) \n\ + !Mod2 e: string(0xae) \n\ + !Mod2 z: string(0xaf) \n\ + !Mod2 h: string(0xb0) \n\ + !Mod2 j: string(0xb1) \n\ + !Mod2 k: string(0xb2) \n\ + !Mod2 l: string(0xb3) \n\ + !Mod2 m: string(0xb4) \n\ + !Mod2 n: string(0xb5) \n\ + !Mod2 x: string(0xb6) \n\ + !Mod2 p: string(0xb7) \n\ + !Mod2 r: string(0xb8) \n\ + !Mod2 s: string(0xb9) \n\ + !Mod2 t: string(0xba) \n\ + !Mod2 f: string(0xbb) \n\ + !Mod2 c: string(0xbc) \n\ + !Mod2 q: string(0xbd) \n\ + !Mod2 w: string(0xbe) \n\ + !Mod4 n: string(0xbf) \n\ + !Mod4 a: string(0xc0) \n\ + !Mod4 o: string(0xc1) \n\ + !Mod4 f: string(0xc2) \n\ + !Mod4 t: string(0xc3) \n\ + !Mod4 Shift f: string(0xc4) \n\ + !Ctrl F5: string(0xc5) \n\ + !Ctrl F6: string(0xc6) \n\ + !Ctrl F7: string(0xc7) \n\ + !Ctrl F8: string(0xc8) \n\ + !Ctrl F9: string(0xc9) \n\ + !Ctrl F10: string(0xca) \n\ + !Ctrl F11: string(0xcb) \n\ + !Ctrl F12: string(0xcc) \n\ + !Mod4 F5: string(0xcf) \n\ + !Mod4 F6: string(0xf9) \n\ + !Mod4 F7: string(0xfa) \n\ + !Mod4 F1: string(0xd0) \n\ + !Mod4 F2: string(0xd1) \n\ + !Mod4 F3: string(0xd2) \n\ + !Mod4 F4: string(0xd3) \n\ + !Ctrl F1: string(0xd4) \n\ + !Ctrl F2: string(0xd5) \n\ + !Ctrl F3: string(0xd6) \n\ + !Ctrl F4: string(0xd7) \n\ + !Mod4 b: string(0xd8) \n\ + !Mod4 e: string(0xd9) \n\ + !Mod4 Shift e: string(0xda) \n\ + !Mod4 u: string(0xdb) \n\ + !Mod4 p: string(0xdc) \n\ + !Mod4 Shift p: string(0xdd) \n\ + !Mod4 l: string(0xde) \n\ + !Mod4 Shift l: string(0xdf) \n\ + !Mod4 g: string(0xe0) \n\ + !Mod4 Shift g: string(0xe1) \n\ + !Mod4 s: string(0xe2) \n\ + !Mod4 Shift s: string(0xe3) \n\ + !Shift F11: string(0xe4) \n\ + !Shift F12: string(0xe5) \n\ + !Mod2 F1: string(0xe6) \n\ + !Mod2 F2: string(0xe7) \n\ + !Mod2 F3: string(0xe8) \n\ + !Shift F1: string(0xe9) \n\ + !Shift F2: string(0xea) \n\ + !Shift F3: string(0xeb) \n\ + !Mod2 F5: string(0xec) \n\ + !Mod2 F6: string(0xed) \n\ + !Mod2 F7: string(0xee) \n\ + !Mod2 F8: string(0xef) \n\ + !Mod2 F9: string(0xf0) \n\ + !Mod2 F10: string(0xcd) \n\ + !Mod4 x: string(0xf2) \n\ + !Shift F5: string(0xf3) \n\ + !Shift F6: string(0xf4) \n\ + !Shift F7: string(0xf5) \n\ + !Shift F8: string(0xf6) \n\ + !Shift F9: string(0xf7) \n\ + !Shift F10: string(0xf8) \n\ + !Mod2 F11: string(0xce) \n\ + !Mod2 F12: string(0xf1) \n\ + !Mod4 F8: string(0xfb) \n\ + !Mod4 F9: string(0xfc) \n\ + !Mod4 F10: string(0xfd) \n\ + !Mod4 F11: string(0xfe) \n\ + !Mod4 F12: string(0xff) \n\ + !Shift F4: string(0xe9) string(0xeb) \n\ + !Mod2 F4: string(0xe6) string(0xe8) \n\ + !Mod4 i: string(0xe7) string(0xe8) \n\ + !Mod4 Shift i: string(0xea) string(0xeb) \n\ + !Mod4 m: string(0xe8) \n\ + !Mod4 Shift m: string(0xeb) \n\ + !Mod4 Shift n: string(0xf7) \n\ + ! F9: string(0xc4) \n\ + ! F10: string(0xea) string(0xeb) \n\ + ! F11: string(0xda) \n\ + ! F12: string(0xdb) \ +" -e $ISAVIMDIR/initvim $*