keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
authoroheimb
Thu May 14 16:35:30 1998 +0200 (1998-05-14)
changeset 492718eaed36a51e
parent 4926 0fd0b3f3bc25
child 4928 c17493ccfd54
keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
etc/isa-settings.el
     1.1 --- a/etc/isa-settings.el	Thu May 14 16:32:33 1998 +0200
     1.2 +++ b/etc/isa-settings.el	Thu May 14 16:35:30 1998 +0200
     1.3 @@ -11,259 +11,5 @@
     1.4  
     1.5  ;; Fonts and Keymaps
     1.6  
     1.7 -(setq default-ctl-arrow "z")
     1.8 -(setq ctl-arrow "z")
     1.9 -
    1.10 -(if (eq isa-emacs-version 'isa-19)
    1.11 -    (progn
    1.12 -      (standard-display-8bit 128 255)
    1.13 -      ;; FIXME
    1.14 -      ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
    1.15 -      ;; the table is generated by the perl script `gen-isa_gnu_emacs'
    1.16 -      ;; In order to make changes to the keyboard mappings you should edit
    1.17 -      ;; the configuration file `key-table.inp' which is interpreted by
    1.18 -      ;; the perl script `gen-isa_gnu_emacs', 
    1.19 -      ;;
    1.20 -      ;;
    1.21 -      ;; key-map for Isabelle font
    1.22 -      ;;   
    1.23 -      ;; BEGIN-KEY-MAP
    1.24 -      (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
    1.25 -      (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
    1.26 -      (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
    1.27 -      (global-set-key [?\s-L] '(lambda () (interactive) (insert "\244")))
    1.28 -      (global-set-key [?\s-P] '(lambda () (interactive) (insert "\245")))
    1.29 -      (global-set-key [?\s-S] '(lambda () (interactive) (insert "\246")))
    1.30 -      (global-set-key [?\s-F] '(lambda () (interactive) (insert "\247")))
    1.31 -      (global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250")))
    1.32 -      (global-set-key [?\s-W] '(lambda () (interactive) (insert "\251")))
    1.33 -      (global-set-key [?\s-a] '(lambda () (interactive) (insert "\252")))
    1.34 -      (global-set-key [?\s-b] '(lambda () (interactive) (insert "\253")))
    1.35 -      (global-set-key [?\s-g] '(lambda () (interactive) (insert "\254")))
    1.36 -      (global-set-key [?\s-d] '(lambda () (interactive) (insert "\255")))
    1.37 -      (global-set-key [?\s-e] '(lambda () (interactive) (insert "\256")))
    1.38 -      (global-set-key [?\s-z] '(lambda () (interactive) (insert "\257")))
    1.39 -      (global-set-key [?\s-h] '(lambda () (interactive) (insert "\260")))
    1.40 -      (global-set-key [?\s-j] '(lambda () (interactive) (insert "\261")))
    1.41 -      (global-set-key [?\s-k] '(lambda () (interactive) (insert "\262")))
    1.42 -      (global-set-key [?\s-l] '(lambda () (interactive) (insert "\263")))
    1.43 -      (global-set-key [?\s-m] '(lambda () (interactive) (insert "\264")))
    1.44 -      (global-set-key [?\s-n] '(lambda () (interactive) (insert "\265")))
    1.45 -      (global-set-key [?\s-x] '(lambda () (interactive) (insert "\266")))
    1.46 -      (global-set-key [?\s-p] '(lambda () (interactive) (insert "\267")))
    1.47 -      (global-set-key [?\s-r] '(lambda () (interactive) (insert "\270")))
    1.48 -      (global-set-key [?\s-s] '(lambda () (interactive) (insert "\271")))
    1.49 -      (global-set-key [?\s-t] '(lambda () (interactive) (insert "\272")))
    1.50 -      (global-set-key [?\s-f] '(lambda () (interactive) (insert "\273")))
    1.51 -      (global-set-key [?\s-c] '(lambda () (interactive) (insert "\274")))
    1.52 -      (global-set-key [?\s-q] '(lambda () (interactive) (insert "\275")))
    1.53 -      (global-set-key [?\s-w] '(lambda () (interactive) (insert "\276")))
    1.54 -      (global-set-key [?\H-n] '(lambda () (interactive) (insert "\277")))
    1.55 -      (global-set-key [?\H-a] '(lambda () (interactive) (insert "\300")))
    1.56 -      (global-set-key [?\H-o] '(lambda () (interactive) (insert "\301")))
    1.57 -      (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
    1.58 -      (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
    1.59 -      (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
    1.60 -      (global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
    1.61 -      (global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
    1.62 -      (global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
    1.63 -      (global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
    1.64 -      (global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
    1.65 -      (global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
    1.66 -      (global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
    1.67 -      (global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
    1.68 -      (global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
    1.69 -      (global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
    1.70 -      (global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
    1.71 -      (global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
    1.72 -      (global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
    1.73 -      (global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
    1.74 -      (global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
    1.75 -      (global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
    1.76 -      (global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
    1.77 -      (global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
    1.78 -      (global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
    1.79 -      (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
    1.80 -      (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
    1.81 -      (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
    1.82 -      (global-set-key [?\H-u] '(lambda () (interactive) (insert "\333")))
    1.83 -      (global-set-key [?\H-p] '(lambda () (interactive) (insert "\334")))
    1.84 -      (global-set-key [?\H-P] '(lambda () (interactive) (insert "\335")))
    1.85 -      (global-set-key [?\H-l] '(lambda () (interactive) (insert "\336")))
    1.86 -      (global-set-key [?\H-L] '(lambda () (interactive) (insert "\337")))
    1.87 -      (global-set-key [?\H-g] '(lambda () (interactive) (insert "\340")))
    1.88 -      (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
    1.89 -      (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
    1.90 -      (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
    1.91 -      (global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
    1.92 -      (global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
    1.93 -      (global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
    1.94 -      (global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
    1.95 -      (global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
    1.96 -      (global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
    1.97 -      (global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
    1.98 -      (global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
    1.99 -      (global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
   1.100 -      (global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
   1.101 -      (global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
   1.102 -      (global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
   1.103 -      (global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
   1.104 -      (global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
   1.105 -      (global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
   1.106 -      (global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
   1.107 -      (global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
   1.108 -      (global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
   1.109 -      (global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
   1.110 -      (global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
   1.111 -      (global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
   1.112 -      (global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
   1.113 -      (global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
   1.114 -      (global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
   1.115 -      (global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
   1.116 -      (global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
   1.117 -      (global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
   1.118 -      (global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
   1.119 -      (global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.120 -      (global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.121 -      (global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.122 -      (global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.123 -      (global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
   1.124 -      (global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
   1.125 -      (global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
   1.126 -      (global-set-key [f9] '(lambda () (interactive) (insert "\304")))
   1.127 -      (global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.128 -      (global-set-key [f11] '(lambda () (interactive) (insert "\332")))
   1.129 -      (global-set-key [f12] '(lambda () (interactive) (insert "\333")))
   1.130 -      ;; END-KEY-MAP
   1.131 -      )
   1.132 -  (progn
   1.133 -    (defun isabelle-fonts-menu (e)
   1.134 -      "Pops up the Isabelle fonts menu."
   1.135 -      (interactive "@e")
   1.136 -      (popup-menu
   1.137 -       '("Isabelle fonts menu"
   1.138 -	 ["Isabelle 14" (set-face-font 'default "isabelle14") t]
   1.139 -	 ["Isabelle 24" (set-face-font 'default "isabelle24") t])))
   1.140 -
   1.141 -    (global-unset-key '(shift control button3))
   1.142 -    (global-set-key '(shift control button3) 'isabelle-fonts-menu)
   1.143 -
   1.144 -    ;;FIXME
   1.145 -    ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP
   1.146 -    ;; the table is generated by the perl script `gen-isa_xemacs'
   1.147 -    ;; In order to make changes to the keyboard mappings you should edit
   1.148 -    ;; the configuration file `key-table.inp' which is interpreted by
   1.149 -    ;; the perl script `gen-isa_xemacs', 
   1.150 -    ;;
   1.151 -    ;;
   1.152 -    ;; key-map for Isabelle font
   1.153 -    ;;   
   1.154 -    ;; BEGIN-KEY-MAP
   1.155 -    (global-set-key '(super G) '(lambda () (interactive) (insert "\241")))
   1.156 -    (global-set-key '(super D) '(lambda () (interactive) (insert "\242")))
   1.157 -    (global-set-key '(super J) '(lambda () (interactive) (insert "\243")))
   1.158 -    (global-set-key '(super L) '(lambda () (interactive) (insert "\244")))
   1.159 -    (global-set-key '(super P) '(lambda () (interactive) (insert "\245")))
   1.160 -    (global-set-key '(super S) '(lambda () (interactive) (insert "\246")))
   1.161 -    (global-set-key '(super F) '(lambda () (interactive) (insert "\247")))
   1.162 -    (global-set-key '(super Q) '(lambda () (interactive) (insert "\250")))
   1.163 -    (global-set-key '(super W) '(lambda () (interactive) (insert "\251")))
   1.164 -    (global-set-key '(super a) '(lambda () (interactive) (insert "\252")))
   1.165 -    (global-set-key '(super b) '(lambda () (interactive) (insert "\253")))
   1.166 -    (global-set-key '(super g) '(lambda () (interactive) (insert "\254")))
   1.167 -    (global-set-key '(super d) '(lambda () (interactive) (insert "\255")))
   1.168 -    (global-set-key '(super e) '(lambda () (interactive) (insert "\256")))
   1.169 -    (global-set-key '(super z) '(lambda () (interactive) (insert "\257")))
   1.170 -    (global-set-key '(super h) '(lambda () (interactive) (insert "\260")))
   1.171 -    (global-set-key '(super j) '(lambda () (interactive) (insert "\261")))
   1.172 -    (global-set-key '(super k) '(lambda () (interactive) (insert "\262")))
   1.173 -    (global-set-key '(super l) '(lambda () (interactive) (insert "\263")))
   1.174 -    (global-set-key '(super m) '(lambda () (interactive) (insert "\264")))
   1.175 -    (global-set-key '(super n) '(lambda () (interactive) (insert "\265")))
   1.176 -    (global-set-key '(super x) '(lambda () (interactive) (insert "\266")))
   1.177 -    (global-set-key '(super p) '(lambda () (interactive) (insert "\267")))
   1.178 -    (global-set-key '(super r) '(lambda () (interactive) (insert "\270")))
   1.179 -    (global-set-key '(super s) '(lambda () (interactive) (insert "\271")))
   1.180 -    (global-set-key '(super t) '(lambda () (interactive) (insert "\272")))
   1.181 -    (global-set-key '(super f) '(lambda () (interactive) (insert "\273")))
   1.182 -    (global-set-key '(super c) '(lambda () (interactive) (insert "\274")))
   1.183 -    (global-set-key '(super q) '(lambda () (interactive) (insert "\275")))
   1.184 -    (global-set-key '(super w) '(lambda () (interactive) (insert "\276")))
   1.185 -    (global-set-key '(hyper n) '(lambda () (interactive) (insert "\277")))
   1.186 -    (global-set-key '(hyper a) '(lambda () (interactive) (insert "\300")))
   1.187 -    (global-set-key '(hyper o) '(lambda () (interactive) (insert "\301")))
   1.188 -    (global-set-key '(hyper f) '(lambda () (interactive) (insert "\302")))
   1.189 -    (global-set-key '(hyper t) '(lambda () (interactive) (insert "\303")))
   1.190 -    (global-set-key '(hyper F) '(lambda () (interactive) (insert "\304")))
   1.191 -    (global-set-key '(control f5) '(lambda () (interactive) (insert "\305")))
   1.192 -    (global-set-key '(control f6) '(lambda () (interactive) (insert "\306")))
   1.193 -    (global-set-key '(control f7) '(lambda () (interactive) (insert "\307")))
   1.194 -    (global-set-key '(control f8) '(lambda () (interactive) (insert "\310")))
   1.195 -    (global-set-key '(control f9) '(lambda () (interactive) (insert "\311")))
   1.196 -    (global-set-key '(control f10) '(lambda () (interactive) (insert "\312")))
   1.197 -    (global-set-key '(control f11) '(lambda () (interactive) (insert "\313")))
   1.198 -    (global-set-key '(control f12) '(lambda () (interactive) (insert "\314")))
   1.199 -    (global-set-key '(hyper f5) '(lambda () (interactive) (insert "\317")))
   1.200 -    (global-set-key '(hyper f6) '(lambda () (interactive) (insert "\371")))
   1.201 -    (global-set-key '(hyper f7) '(lambda () (interactive) (insert "\372")))
   1.202 -    (global-set-key '(hyper f1) '(lambda () (interactive) (insert "\320")))
   1.203 -    (global-set-key '(hyper f2) '(lambda () (interactive) (insert "\321")))
   1.204 -    (global-set-key '(hyper f3) '(lambda () (interactive) (insert "\322")))
   1.205 -    (global-set-key '(hyper f4) '(lambda () (interactive) (insert "\323")))
   1.206 -    (global-set-key '(control f1) '(lambda () (interactive) (insert "\324")))
   1.207 -    (global-set-key '(control f2) '(lambda () (interactive) (insert "\325")))
   1.208 -    (global-set-key '(control f3) '(lambda () (interactive) (insert "\326")))
   1.209 -    (global-set-key '(control f4) '(lambda () (interactive) (insert "\327")))
   1.210 -    (global-set-key '(hyper b) '(lambda () (interactive) (insert "\330")))
   1.211 -    (global-set-key '(hyper e) '(lambda () (interactive) (insert "\331")))
   1.212 -    (global-set-key '(hyper E) '(lambda () (interactive) (insert "\332")))
   1.213 -    (global-set-key '(hyper u) '(lambda () (interactive) (insert "\333")))
   1.214 -    (global-set-key '(hyper p) '(lambda () (interactive) (insert "\334")))
   1.215 -    (global-set-key '(hyper P) '(lambda () (interactive) (insert "\335")))
   1.216 -    (global-set-key '(hyper l) '(lambda () (interactive) (insert "\336")))
   1.217 -    (global-set-key '(hyper L) '(lambda () (interactive) (insert "\337")))
   1.218 -    (global-set-key '(hyper g) '(lambda () (interactive) (insert "\340")))
   1.219 -    (global-set-key '(hyper G) '(lambda () (interactive) (insert "\341")))
   1.220 -    (global-set-key '(hyper s) '(lambda () (interactive) (insert "\342")))
   1.221 -    (global-set-key '(hyper S) '(lambda () (interactive) (insert "\343")))
   1.222 -    (global-set-key '(shift f11) '(lambda () (interactive) (insert "\344")))
   1.223 -    (global-set-key '(shift f12) '(lambda () (interactive) (insert "\345")))
   1.224 -    (global-set-key '(super f1) '(lambda () (interactive) (insert "\346")))
   1.225 -    (global-set-key '(super f2) '(lambda () (interactive) (insert "\347")))
   1.226 -    (global-set-key '(super f3) '(lambda () (interactive) (insert "\350")))
   1.227 -    (global-set-key '(shift f1) '(lambda () (interactive) (insert "\351")))
   1.228 -    (global-set-key '(shift f2) '(lambda () (interactive) (insert "\352")))
   1.229 -    (global-set-key '(shift f3) '(lambda () (interactive) (insert "\353")))
   1.230 -    (global-set-key '(super f5) '(lambda () (interactive) (insert "\354")))
   1.231 -    (global-set-key '(super f6) '(lambda () (interactive) (insert "\355")))
   1.232 -    (global-set-key '(super f7) '(lambda () (interactive) (insert "\356")))
   1.233 -    (global-set-key '(super f8) '(lambda () (interactive) (insert "\357")))
   1.234 -    (global-set-key '(super f9) '(lambda () (interactive) (insert "\360")))
   1.235 -    (global-set-key '(super f10) '(lambda () (interactive) (insert "\315")))
   1.236 -    (global-set-key '(hyper x) '(lambda () (interactive) (insert "\362")))
   1.237 -    (global-set-key '(shift f5) '(lambda () (interactive) (insert "\363")))
   1.238 -    (global-set-key '(shift f6) '(lambda () (interactive) (insert "\364")))
   1.239 -    (global-set-key '(shift f7) '(lambda () (interactive) (insert "\365")))
   1.240 -    (global-set-key '(shift f8) '(lambda () (interactive) (insert "\366")))
   1.241 -    (global-set-key '(shift f9) '(lambda () (interactive) (insert "\367")))
   1.242 -    (global-set-key '(shift f10) '(lambda () (interactive) (insert "\370")))
   1.243 -    (global-set-key '(super f11) '(lambda () (interactive) (insert "\316")))
   1.244 -    (global-set-key '(super f12) '(lambda () (interactive) (insert "\361")))
   1.245 -    (global-set-key '(hyper f8) '(lambda () (interactive) (insert "\373")))
   1.246 -    (global-set-key '(hyper f9) '(lambda () (interactive) (insert "\374")))
   1.247 -    (global-set-key '(hyper f10) '(lambda () (interactive) (insert "\375")))
   1.248 -    (global-set-key '(hyper f11) '(lambda () (interactive) (insert "\376")))
   1.249 -    (global-set-key '(hyper f12) '(lambda () (interactive) (insert "\377")))
   1.250 -    (global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353")))
   1.251 -    (global-set-key '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350")))
   1.252 -    (global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350")))
   1.253 -    (global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.254 -    (global-set-key '(hyper m) '(lambda () (interactive) (insert "\350")))
   1.255 -    (global-set-key '(hyper M) '(lambda () (interactive) (insert "\353")))
   1.256 -    (global-set-key '(hyper N) '(lambda () (interactive) (insert "\367")))
   1.257 -    (global-set-key '(f9) '(lambda () (interactive) (insert "\304")))
   1.258 -    (global-set-key '(f10) '(lambda () (interactive) (insert "\352")(insert "\353")))
   1.259 -    (global-set-key '(f11) '(lambda () (interactive) (insert "\332")))
   1.260 -    (global-set-key '(f12) '(lambda () (interactive) (insert "\333")))
   1.261 -    ;; END-KEY-MAP
   1.262 -    ))
   1.263 +(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
   1.264 +))