fixed the way the tabbers keymap is installed

svn: r7061
This commit is contained in:
Robby Findler 2007-08-08 21:43:40 +00:00
parent afcb20810d
commit c5ce09d107

View File

@ -68,16 +68,26 @@
(for-each (put standard-color-prefs) color-prefs-table)
(for-each (put coverage-color-panel) coverage-color-prefs)))
(define mode-surrogate%
(class color:text-mode%
(define/override (on-disable-surrogate text)
(keymap:remove-chained-keymap text java-keymap)
(super on-disable-surrogate text))
(define/override (on-enable-surrogate text)
(super on-enable-surrogate text)
(send (send text get-keymap) chain-to-keymap java-keymap #t))
(super-new)))
;Create the Java editing mode
(define mode-surrogate
(new color:text-mode%
(new mode-surrogate%
(matches (list (list '|{| '|}|)
(list '|(| '|)|)
(list '|[| '|]|)))
(get-token get-syntax-token)
(token-sym->style short-sym->style-name)))
(define java-keymap (new keymap:aug-keymap%))
(send java-keymap add-function "do-return" (λ (edit event) (send edit do-return)))
(send java-keymap map-function "return" "do-return")
@ -188,8 +198,6 @@
(loop (+ para 1))))
(end-edit-sequence)))
(define/override (get-keymaps)
(cons java-keymap (super get-keymaps)))
(super-new)))
;repl-submit: text int -> bool