on-default-char in editor<%>
Called by
on-local-char when the event is not
handled by a caret-owning snip or by the keymap.
(-> voidsendan-editoron-default-charevent)
event:key-event%objectDoes nothing.
on-default-char in editor<%>
Called by
on-local-char when the event is not
handled by a caret-owning snip or by the keymap.
( -> void
send an-editor on-default-char event)
event : key-event% object
Does nothing.