| windows_keydefs = \ | 
 | {'<<Copy>>': ['<Control-c>', '<Control-C>'], | 
 |  '<<Cut>>': ['<Control-x>', '<Control-X>'], | 
 |  '<<Paste>>': ['<Control-v>', '<Control-V>'], | 
 |  '<<beginning-of-line>>': ['<Control-a>', '<Home>'], | 
 |  '<<center-insert>>': ['<Control-l>'], | 
 |  '<<close-all-windows>>': ['<Control-q>'], | 
 |  '<<close-window>>': ['<Alt-F4>'], | 
 |  '<<dump-undo-state>>': ['<Control-backslash>'], | 
 |  '<<end-of-file>>': ['<Control-d>'], | 
 |  '<<help>>': ['<F1>'], | 
 |  '<<history-next>>': ['<Alt-n>'], | 
 |  '<<history-previous>>': ['<Alt-p>'], | 
 |  '<<interrupt-execution>>': ['<Control-c>'], | 
 |  '<<open-class-browser>>': ['<Alt-c>'], | 
 |  '<<open-module>>': ['<Alt-m>'], | 
 |  '<<open-new-window>>': ['<Control-n>'], | 
 |  '<<open-window-from-file>>': ['<Control-o>'], | 
 |  '<<plain-newline-and-indent>>': ['<Control-j>'], | 
 |  '<<redo>>': ['<Control-y>'], | 
 |  '<<remove-selection>>': ['<Escape>'], | 
 |  '<<save-copy-of-window-as-file>>': ['<Alt-Shift-s>'], | 
 |  '<<save-window-as-file>>': ['<Alt-s>'], | 
 |  '<<save-window>>': ['<Control-s>'], | 
 |  '<<select-all>>': ['<Alt-a>'], | 
 |  '<<toggle-auto-coloring>>': ['<Control-slash>'], | 
 |  '<<undo>>': ['<Control-z>']} | 
 |  | 
 | unix_keydefs = \ | 
 | {'<<Copy>>': ['<Alt-w>', '<Meta-w>'], | 
 |  '<<Cut>>': ['<Control-w>'], | 
 |  '<<Paste>>': ['<Control-y>'], | 
 |  '<<beginning-of-line>>': ['<Control-a>', '<Home>'], | 
 |  '<<center-insert>>': ['<Control-l>'], | 
 |  '<<close-all-windows>>': ['<Control-x><Control-c>'], | 
 |  '<<close-window>>': ['<Control-x><Control-0>', '<Control-x><Key-0>'], | 
 |  '<<do-nothing>>': ['<Control-x>'], | 
 |  '<<dump-undo-state>>': ['<Control-backslash>'], | 
 |  '<<end-of-file>>': ['<Control-d>'], | 
 |  '<<help>>': ['<F1>'], | 
 |  '<<history-next>>': ['<Alt-n>', '<Meta-n>'], | 
 |  '<<history-previous>>': ['<Alt-p>', '<Meta-p>'], | 
 |  '<<interrupt-execution>>': ['<Control-c>'], | 
 |  '<<open-class-browser>>': ['<Control-x><Control-b>'], | 
 |  '<<open-module>>': ['<Control-x><Control-m>'], | 
 |  '<<open-new-window>>': ['<Control-x><Control-n>'], | 
 |  '<<open-window-from-file>>': ['<Control-x><Control-f>'], | 
 |  '<<plain-newline-and-indent>>': ['<Control-j>'], | 
 |  '<<redo>>': ['<Alt-z>', '<Meta-z>'], | 
 |  '<<save-copy-of-window-as-file>>': ['<Control-x><w>'], | 
 |  '<<save-window-as-file>>': ['<Control-x><Control-w>'], | 
 |  '<<save-window>>': ['<Control-x><Control-s>'], | 
 |  '<<select-all>>': ['<Alt-a>', '<Meta-a>'], | 
 |  '<<toggle-auto-coloring>>': ['<Control-slash>'], | 
 |  '<<undo>>': ['<Control-z>']} |