# HG changeset patch # User oheimb # Date 895156530 -7200 # Node ID 18eaed36a51e8fde9ef655df73eb76a28f65c51b # Parent 0fd0b3f3bc250167e2990fe79f815bf7b83b32a1 keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs diff -r 0fd0b3f3bc25 -r 18eaed36a51e etc/isa-settings.el --- a/etc/isa-settings.el Thu May 14 16:32:33 1998 +0200 +++ b/etc/isa-settings.el Thu May 14 16:35:30 1998 +0200 @@ -11,259 +11,5 @@ ;; Fonts and Keymaps -(setq default-ctl-arrow "z") -(setq ctl-arrow "z") - -(if (eq isa-emacs-version 'isa-19) - (progn - (standard-display-8bit 128 255) - ;; FIXME - ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP - ;; the table is generated by the perl script `gen-isa_gnu_emacs' - ;; 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-isa_gnu_emacs', - ;; - ;; - ;; key-map for Isabelle font - ;; - ;; BEGIN-KEY-MAP - (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241"))) - (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242"))) - (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243"))) - (global-set-key [?\s-L] '(lambda () (interactive) (insert "\244"))) - (global-set-key [?\s-P] '(lambda () (interactive) (insert "\245"))) - (global-set-key [?\s-S] '(lambda () (interactive) (insert "\246"))) - (global-set-key [?\s-F] '(lambda () (interactive) (insert "\247"))) - (global-set-key [?\s-Q] '(lambda () (interactive) (insert "\250"))) - (global-set-key [?\s-W] '(lambda () (interactive) (insert "\251"))) - (global-set-key [?\s-a] '(lambda () (interactive) (insert "\252"))) - (global-set-key [?\s-b] '(lambda () (interactive) (insert "\253"))) - (global-set-key [?\s-g] '(lambda () (interactive) (insert "\254"))) - (global-set-key [?\s-d] '(lambda () (interactive) (insert "\255"))) - (global-set-key [?\s-e] '(lambda () (interactive) (insert "\256"))) - (global-set-key [?\s-z] '(lambda () (interactive) (insert "\257"))) - (global-set-key [?\s-h] '(lambda () (interactive) (insert "\260"))) - (global-set-key [?\s-j] '(lambda () (interactive) (insert "\261"))) - (global-set-key [?\s-k] '(lambda () (interactive) (insert "\262"))) - (global-set-key [?\s-l] '(lambda () (interactive) (insert "\263"))) - (global-set-key [?\s-m] '(lambda () (interactive) (insert "\264"))) - (global-set-key [?\s-n] '(lambda () (interactive) (insert "\265"))) - (global-set-key [?\s-x] '(lambda () (interactive) (insert "\266"))) - (global-set-key [?\s-p] '(lambda () (interactive) (insert "\267"))) - (global-set-key [?\s-r] '(lambda () (interactive) (insert "\270"))) - (global-set-key [?\s-s] '(lambda () (interactive) (insert "\271"))) - (global-set-key [?\s-t] '(lambda () (interactive) (insert "\272"))) - (global-set-key [?\s-f] '(lambda () (interactive) (insert "\273"))) - (global-set-key [?\s-c] '(lambda () (interactive) (insert "\274"))) - (global-set-key [?\s-q] '(lambda () (interactive) (insert "\275"))) - (global-set-key [?\s-w] '(lambda () (interactive) (insert "\276"))) - (global-set-key [?\H-n] '(lambda () (interactive) (insert "\277"))) - (global-set-key [?\H-a] '(lambda () (interactive) (insert "\300"))) - (global-set-key [?\H-o] '(lambda () (interactive) (insert "\301"))) - (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302"))) - (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303"))) - (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304"))) - (global-set-key [C-f5] '(lambda () (interactive) (insert "\305"))) - (global-set-key [C-f6] '(lambda () (interactive) (insert "\306"))) - (global-set-key [C-f7] '(lambda () (interactive) (insert "\307"))) - (global-set-key [C-f8] '(lambda () (interactive) (insert "\310"))) - (global-set-key [C-f9] '(lambda () (interactive) (insert "\311"))) - (global-set-key [C-f10] '(lambda () (interactive) (insert "\312"))) - (global-set-key [C-f11] '(lambda () (interactive) (insert "\313"))) - (global-set-key [C-f12] '(lambda () (interactive) (insert "\314"))) - (global-set-key [H-f5] '(lambda () (interactive) (insert "\317"))) - (global-set-key [H-f6] '(lambda () (interactive) (insert "\371"))) - (global-set-key [H-f7] '(lambda () (interactive) (insert "\372"))) - (global-set-key [H-f1] '(lambda () (interactive) (insert "\320"))) - (global-set-key [H-f2] '(lambda () (interactive) (insert "\321"))) - (global-set-key [H-f3] '(lambda () (interactive) (insert "\322"))) - (global-set-key [H-f4] '(lambda () (interactive) (insert "\323"))) - (global-set-key [C-f1] '(lambda () (interactive) (insert "\324"))) - (global-set-key [C-f2] '(lambda () (interactive) (insert "\325"))) - (global-set-key [C-f3] '(lambda () (interactive) (insert "\326"))) - (global-set-key [C-f4] '(lambda () (interactive) (insert "\327"))) - (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330"))) - (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331"))) - (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332"))) - (global-set-key [?\H-u] '(lambda () (interactive) (insert "\333"))) - (global-set-key [?\H-p] '(lambda () (interactive) (insert "\334"))) - (global-set-key [?\H-P] '(lambda () (interactive) (insert "\335"))) - (global-set-key [?\H-l] '(lambda () (interactive) (insert "\336"))) - (global-set-key [?\H-L] '(lambda () (interactive) (insert "\337"))) - (global-set-key [?\H-g] '(lambda () (interactive) (insert "\340"))) - (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341"))) - (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342"))) - (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343"))) - (global-set-key [S-f11] '(lambda () (interactive) (insert "\344"))) - (global-set-key [S-f12] '(lambda () (interactive) (insert "\345"))) - (global-set-key [s-f1] '(lambda () (interactive) (insert "\346"))) - (global-set-key [s-f2] '(lambda () (interactive) (insert "\347"))) - (global-set-key [s-f3] '(lambda () (interactive) (insert "\350"))) - (global-set-key [S-f1] '(lambda () (interactive) (insert "\351"))) - (global-set-key [S-f2] '(lambda () (interactive) (insert "\352"))) - (global-set-key [S-f3] '(lambda () (interactive) (insert "\353"))) - (global-set-key [s-f5] '(lambda () (interactive) (insert "\354"))) - (global-set-key [s-f6] '(lambda () (interactive) (insert "\355"))) - (global-set-key [s-f7] '(lambda () (interactive) (insert "\356"))) - (global-set-key [s-f8] '(lambda () (interactive) (insert "\357"))) - (global-set-key [s-f9] '(lambda () (interactive) (insert "\360"))) - (global-set-key [s-f10] '(lambda () (interactive) (insert "\315"))) - (global-set-key [?\H-x] '(lambda () (interactive) (insert "\362"))) - (global-set-key [S-f5] '(lambda () (interactive) (insert "\363"))) - (global-set-key [S-f6] '(lambda () (interactive) (insert "\364"))) - (global-set-key [S-f7] '(lambda () (interactive) (insert "\365"))) - (global-set-key [S-f8] '(lambda () (interactive) (insert "\366"))) - (global-set-key [S-f9] '(lambda () (interactive) (insert "\367"))) - (global-set-key [S-f10] '(lambda () (interactive) (insert "\370"))) - (global-set-key [s-f11] '(lambda () (interactive) (insert "\316"))) - (global-set-key [s-f12] '(lambda () (interactive) (insert "\361"))) - (global-set-key [H-f8] '(lambda () (interactive) (insert "\373"))) - (global-set-key [H-f9] '(lambda () (interactive) (insert "\374"))) - (global-set-key [H-f10] '(lambda () (interactive) (insert "\375"))) - (global-set-key [H-f11] '(lambda () (interactive) (insert "\376"))) - (global-set-key [H-f12] '(lambda () (interactive) (insert "\377"))) - (global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353"))) - (global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350"))) - (global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350"))) - (global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353"))) - (global-set-key [?\H-m] '(lambda () (interactive) (insert "\350"))) - (global-set-key [?\H-M] '(lambda () (interactive) (insert "\353"))) - (global-set-key [?\H-N] '(lambda () (interactive) (insert "\367"))) - (global-set-key [f9] '(lambda () (interactive) (insert "\304"))) - (global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353"))) - (global-set-key [f11] '(lambda () (interactive) (insert "\332"))) - (global-set-key [f12] '(lambda () (interactive) (insert "\333"))) - ;; END-KEY-MAP - ) - (progn - (defun isabelle-fonts-menu (e) - "Pops up the Isabelle fonts menu." - (interactive "@e") - (popup-menu - '("Isabelle fonts menu" - ["Isabelle 14" (set-face-font 'default "isabelle14") t] - ["Isabelle 24" (set-face-font 'default "isabelle24") t]))) - - (global-unset-key '(shift control button3)) - (global-set-key '(shift control button3) 'isabelle-fonts-menu) - - ;;FIXME - ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP - ;; the table is generated by the perl script `gen-isa_xemacs' - ;; 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-isa_xemacs', - ;; - ;; - ;; key-map for Isabelle font - ;; - ;; BEGIN-KEY-MAP - (global-set-key '(super G) '(lambda () (interactive) (insert "\241"))) - (global-set-key '(super D) '(lambda () (interactive) (insert "\242"))) - (global-set-key '(super J) '(lambda () (interactive) (insert "\243"))) - (global-set-key '(super L) '(lambda () (interactive) (insert "\244"))) - (global-set-key '(super P) '(lambda () (interactive) (insert "\245"))) - (global-set-key '(super S) '(lambda () (interactive) (insert "\246"))) - (global-set-key '(super F) '(lambda () (interactive) (insert "\247"))) - (global-set-key '(super Q) '(lambda () (interactive) (insert "\250"))) - (global-set-key '(super W) '(lambda () (interactive) (insert "\251"))) - (global-set-key '(super a) '(lambda () (interactive) (insert "\252"))) - (global-set-key '(super b) '(lambda () (interactive) (insert "\253"))) - (global-set-key '(super g) '(lambda () (interactive) (insert "\254"))) - (global-set-key '(super d) '(lambda () (interactive) (insert "\255"))) - (global-set-key '(super e) '(lambda () (interactive) (insert "\256"))) - (global-set-key '(super z) '(lambda () (interactive) (insert "\257"))) - (global-set-key '(super h) '(lambda () (interactive) (insert "\260"))) - (global-set-key '(super j) '(lambda () (interactive) (insert "\261"))) - (global-set-key '(super k) '(lambda () (interactive) (insert "\262"))) - (global-set-key '(super l) '(lambda () (interactive) (insert "\263"))) - (global-set-key '(super m) '(lambda () (interactive) (insert "\264"))) - (global-set-key '(super n) '(lambda () (interactive) (insert "\265"))) - (global-set-key '(super x) '(lambda () (interactive) (insert "\266"))) - (global-set-key '(super p) '(lambda () (interactive) (insert "\267"))) - (global-set-key '(super r) '(lambda () (interactive) (insert "\270"))) - (global-set-key '(super s) '(lambda () (interactive) (insert "\271"))) - (global-set-key '(super t) '(lambda () (interactive) (insert "\272"))) - (global-set-key '(super f) '(lambda () (interactive) (insert "\273"))) - (global-set-key '(super c) '(lambda () (interactive) (insert "\274"))) - (global-set-key '(super q) '(lambda () (interactive) (insert "\275"))) - (global-set-key '(super w) '(lambda () (interactive) (insert "\276"))) - (global-set-key '(hyper n) '(lambda () (interactive) (insert "\277"))) - (global-set-key '(hyper a) '(lambda () (interactive) (insert "\300"))) - (global-set-key '(hyper o) '(lambda () (interactive) (insert "\301"))) - (global-set-key '(hyper f) '(lambda () (interactive) (insert "\302"))) - (global-set-key '(hyper t) '(lambda () (interactive) (insert "\303"))) - (global-set-key '(hyper F) '(lambda () (interactive) (insert "\304"))) - (global-set-key '(control f5) '(lambda () (interactive) (insert "\305"))) - (global-set-key '(control f6) '(lambda () (interactive) (insert "\306"))) - (global-set-key '(control f7) '(lambda () (interactive) (insert "\307"))) - (global-set-key '(control f8) '(lambda () (interactive) (insert "\310"))) - (global-set-key '(control f9) '(lambda () (interactive) (insert "\311"))) - (global-set-key '(control f10) '(lambda () (interactive) (insert "\312"))) - (global-set-key '(control f11) '(lambda () (interactive) (insert "\313"))) - (global-set-key '(control f12) '(lambda () (interactive) (insert "\314"))) - (global-set-key '(hyper f5) '(lambda () (interactive) (insert "\317"))) - (global-set-key '(hyper f6) '(lambda () (interactive) (insert "\371"))) - (global-set-key '(hyper f7) '(lambda () (interactive) (insert "\372"))) - (global-set-key '(hyper f1) '(lambda () (interactive) (insert "\320"))) - (global-set-key '(hyper f2) '(lambda () (interactive) (insert "\321"))) - (global-set-key '(hyper f3) '(lambda () (interactive) (insert "\322"))) - (global-set-key '(hyper f4) '(lambda () (interactive) (insert "\323"))) - (global-set-key '(control f1) '(lambda () (interactive) (insert "\324"))) - (global-set-key '(control f2) '(lambda () (interactive) (insert "\325"))) - (global-set-key '(control f3) '(lambda () (interactive) (insert "\326"))) - (global-set-key '(control f4) '(lambda () (interactive) (insert "\327"))) - (global-set-key '(hyper b) '(lambda () (interactive) (insert "\330"))) - (global-set-key '(hyper e) '(lambda () (interactive) (insert "\331"))) - (global-set-key '(hyper E) '(lambda () (interactive) (insert "\332"))) - (global-set-key '(hyper u) '(lambda () (interactive) (insert "\333"))) - (global-set-key '(hyper p) '(lambda () (interactive) (insert "\334"))) - (global-set-key '(hyper P) '(lambda () (interactive) (insert "\335"))) - (global-set-key '(hyper l) '(lambda () (interactive) (insert "\336"))) - (global-set-key '(hyper L) '(lambda () (interactive) (insert "\337"))) - (global-set-key '(hyper g) '(lambda () (interactive) (insert "\340"))) - (global-set-key '(hyper G) '(lambda () (interactive) (insert "\341"))) - (global-set-key '(hyper s) '(lambda () (interactive) (insert "\342"))) - (global-set-key '(hyper S) '(lambda () (interactive) (insert "\343"))) - (global-set-key '(shift f11) '(lambda () (interactive) (insert "\344"))) - (global-set-key '(shift f12) '(lambda () (interactive) (insert "\345"))) - (global-set-key '(super f1) '(lambda () (interactive) (insert "\346"))) - (global-set-key '(super f2) '(lambda () (interactive) (insert "\347"))) - (global-set-key '(super f3) '(lambda () (interactive) (insert "\350"))) - (global-set-key '(shift f1) '(lambda () (interactive) (insert "\351"))) - (global-set-key '(shift f2) '(lambda () (interactive) (insert "\352"))) - (global-set-key '(shift f3) '(lambda () (interactive) (insert "\353"))) - (global-set-key '(super f5) '(lambda () (interactive) (insert "\354"))) - (global-set-key '(super f6) '(lambda () (interactive) (insert "\355"))) - (global-set-key '(super f7) '(lambda () (interactive) (insert "\356"))) - (global-set-key '(super f8) '(lambda () (interactive) (insert "\357"))) - (global-set-key '(super f9) '(lambda () (interactive) (insert "\360"))) - (global-set-key '(super f10) '(lambda () (interactive) (insert "\315"))) - (global-set-key '(hyper x) '(lambda () (interactive) (insert "\362"))) - (global-set-key '(shift f5) '(lambda () (interactive) (insert "\363"))) - (global-set-key '(shift f6) '(lambda () (interactive) (insert "\364"))) - (global-set-key '(shift f7) '(lambda () (interactive) (insert "\365"))) - (global-set-key '(shift f8) '(lambda () (interactive) (insert "\366"))) - (global-set-key '(shift f9) '(lambda () (interactive) (insert "\367"))) - (global-set-key '(shift f10) '(lambda () (interactive) (insert "\370"))) - (global-set-key '(super f11) '(lambda () (interactive) (insert "\316"))) - (global-set-key '(super f12) '(lambda () (interactive) (insert "\361"))) - (global-set-key '(hyper f8) '(lambda () (interactive) (insert "\373"))) - (global-set-key '(hyper f9) '(lambda () (interactive) (insert "\374"))) - (global-set-key '(hyper f10) '(lambda () (interactive) (insert "\375"))) - (global-set-key '(hyper f11) '(lambda () (interactive) (insert "\376"))) - (global-set-key '(hyper f12) '(lambda () (interactive) (insert "\377"))) - (global-set-key '(shift f4) '(lambda () (interactive) (insert "\351")(insert "\353"))) - (global-set-key '(super f4) '(lambda () (interactive) (insert "\346")(insert "\350"))) - (global-set-key '(hyper i) '(lambda () (interactive) (insert "\347")(insert "\350"))) - (global-set-key '(hyper I) '(lambda () (interactive) (insert "\352")(insert "\353"))) - (global-set-key '(hyper m) '(lambda () (interactive) (insert "\350"))) - (global-set-key '(hyper M) '(lambda () (interactive) (insert "\353"))) - (global-set-key '(hyper N) '(lambda () (interactive) (insert "\367"))) - (global-set-key '(f9) '(lambda () (interactive) (insert "\304"))) - (global-set-key '(f10) '(lambda () (interactive) (insert "\352")(insert "\353"))) - (global-set-key '(f11) '(lambda () (interactive) (insert "\332"))) - (global-set-key '(f12) '(lambda () (interactive) (insert "\333"))) - ;; END-KEY-MAP - )) +(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs" +))