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