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