get-keymaps in drscheme:rep:drs-bindings-keymap-mixin

The keymaps returned from this method are chained to this editor<%>'s keymap.

The result of this method should not change - that is, it should return the same list of keymaps each time it is called.

• (send a-drscheme:rep:drs-bindings-keymap-mixin get-keymaps (listof (instanceof keymap%))

  Calls the super method and adds in a keymap with the drscheme-specific keybindings:

  • f5 - Run

  • c:x;o - toggles the focus between the definition and interactions windows.