fixed PR 8670
svn: r6223
This commit is contained in:
parent
dfb33cc9c4
commit
9fa7ec966d
|
@ -577,7 +577,7 @@
|
|||
(drscheme:rep:get-drs-bindings-keymap
|
||||
(-> (is-a?/c keymap%))
|
||||
()
|
||||
"Returns a keymap that bindings various DrScheme-specific"
|
||||
"Returns a keymap that binds various DrScheme-specific"
|
||||
"keybindings. This keymap is used in the definitions"
|
||||
"and interactions window."
|
||||
""
|
||||
|
|
Loading…
Reference in New Issue
Block a user