after-delete in drscheme:unit:program-editor-mixin
Called after a given range is deleted from the editor
(and after the display is refreshed; use
on-delete and
begin-edit-sequence to avoid extra refreshes when
after-delete modifies the editor).
See also
can-delete? and
on-edit-sequence.
No internals locks are set when this method is called.
(voidsenda-drscheme:unit:program-editor-mixinafter-deletestartlen
start: number
len: numberCalls the super method.
Resets an error highlighting.