drscheme:unit:program-editor-mixin
Domain: (class->interface text%)
Domain: editor:basic<%>
Implements: editor:basic<%>
This mixes in the ability to reset the highlighting for error message when the user modifies the buffer. Use it for editors that have program text where errors can occur.
( -> new drscheme:unit:program-editor-mixin% [(line-spacing _)] [(tab-stops _)] [(auto-wrap _)])drscheme:unit:program-editor-mixin% object
line-spacing = : non-negative real number
1.0
tab-stops = : list of real numbers
null
auto-wrap = : boolean#f
The line-spacing argument sets the additional amount of space
(in DC units) inserted between each line in the editor when the
editor is displayed. This spacing is included in the reported height
of each line.
See
set-tabs for information about tabstops.
If auto-wrap is true, then auto-wrapping is enabled via
auto-wrap .
A new keymap% object is created for the new editor.
See also
get-keymap and
set-keymap.
A new style-list% object is created for the new editor.
See also
get-style-list and
set-style-list.
Methods
after-delete
after-insert
All Methods
add-canvas from editor<%>
add-undo from editor<%>
adjust-cursor from editor<%>
after-change-style from text%
after-delete from drscheme:unit:program-editor-mixin
overrides after-delete from text%
after-edit-sequence from editor<%>
after-insert from drscheme:unit:program-editor-mixin
overrides after-insert from text%
after-load-file from editor<%>
after-save-file from editor<%>
after-set-position from text%
after-set-size-constraint from text%
auto-wrap from editor<%>
begin-edit-sequence from editor<%>
begin-write-header-footer-to-file from editor<%>
blink-caret from editor<%>
call-clickback from text%
can-change-style? from text%
can-delete? from text%
can-do-edit-operation? from editor<%>
can-insert? from text%
can-load-file? from editor<%>
can-save-file? from editor<%>
can-set-size-constraint? from text%
caret-hidden? from text%
change-style from text%
overrides change-style from editor<%>
clear from editor<%>
clear-undos from editor<%>
copy from text%
overrides copy from editor<%>
copy-self from editor<%>
copy-self-to from text%
overrides copy-self-to from editor<%>
cut from text%
overrides cut from editor<%>
dc-location-to-editor-location from editor<%>
delete from text%
do-copy from text%
do-edit-operation from editor<%>
do-paste from text%
editing-this-file? from editor:basic<%>
editor-location-to-dc-location from editor<%>
end-edit-sequence from editor<%>
end-write-header-footer-to-file from editor<%>
erase from text%
find-first-snip from editor<%>
find-line from text%
find-position from text%
find-position-in-line from text%
find-scroll-line from editor<%>
find-snip from text%
find-string from text%
find-string-all from text%
find-wordbreak from text%
flash-off from text%
flash-on from text%
get-active-canvas from editor<%>
get-admin from editor<%>
get-anchor from text%
get-between-threshold from text%
get-canvas from editor<%>
get-canvases from editor<%>
get-character from text%
get-dc from editor<%>
get-descent from editor<%>
get-end-position from text%
get-extent from editor<%>
get-file from editor<%>
get-file-format from text%
get-filename from editor<%>
get-flattened-text from editor<%>
get-focus-snip from editor<%>
get-inactive-caret-threshold from editor<%>
get-keymap from editor<%>
get-line-spacing from text%
get-load-overwrites-styles from editor<%>
get-max-height from editor<%>
get-max-undo-history from editor<%>
get-max-view-size from editor<%>
get-max-width from editor<%>
get-min-height from editor<%>
get-min-width from editor<%>
get-overwrite-mode from text%
get-paste-text-only from editor<%>
get-position from text%
get-region-data from text%
get-snip-data from editor<%>
get-snip-location from editor<%>
get-snip-position from text%
get-snip-position-and-location from text%
get-space from editor<%>
get-start-position from text%
get-style-list from editor<%>
get-styles-sticky from text%
get-tabs from text%
get-text from text%
get-top-level-window from editor:basic<%>
get-top-line-base from text%
get-view-size from editor<%>
get-visible-line-range from text%
get-visible-position-range from text%
get-wordbreak-map from text%
global-to-local from editor<%>
has-focus? from editor:basic<%>
hide-caret from text%
in-edit-sequence? from editor<%>
insert from text%
overrides insert from editor<%>
insert-box from editor<%>
insert-file from editor<%>
insert-image from editor<%>
insert-port from editor<%>
invalidate-bitmap-cache from editor<%>
is-locked? from editor<%>
is-modified? from editor<%>
kill from text%
overrides kill from editor<%>
last-line from text%
last-paragraph from text%
last-position from text%
line-end-position from text%
line-length from text%
line-location from text%
line-paragraph from text%
line-start-position from text%
load-file from editor<%>
load-file/gui-error from editor:basic<%>
local-edit-sequence? from editor:basic<%>
local-to-global from editor<%>
locations-computed? from editor<%>
lock from editor<%>
locked-for-flow? from editor<%>
locked-for-read? from editor<%>
locked-for-write? from editor<%>
move-position from text%
needs-update from editor<%>
num-scroll-lines from editor<%>
on-change from editor<%>
on-change-style from text%
on-char from editor<%>
on-close from editor:basic<%>
on-default-char from text%
overrides on-default-char from editor<%>
on-default-event from text%
overrides on-default-event from editor<%>
on-delete from text%
on-display-size from editor<%>
on-display-size-when-ready from editor<%>
on-edit-sequence from editor<%>
on-event from editor<%>
on-focus from editor<%>
on-insert from text%
on-load-file from editor<%>
on-local-char from editor<%>
on-local-event from editor<%>
on-new-box from editor<%>
on-new-image-snip from editor<%>
on-new-string-snip from text%
on-new-tab-snip from text%
on-paint from editor<%>
on-save-file from editor<%>
on-set-size-constraint from text%
on-snip-modified from editor<%>
own-caret from editor<%>
paragraph-end-line from text%
paragraph-end-position from text%
paragraph-start-line from text%
paragraph-start-position from text%
paste from text%
overrides paste from editor<%>
paste-next from text%
position-line from text%
position-location from text%
position-paragraph from text%
print from editor<%>
print-to-dc from editor<%>
put-file from editor<%>
read-footer-from-file from editor<%>
read-from-file from text%
overrides read-from-file from editor<%>
read-header-from-file from editor<%>
redo from editor<%>
refresh from editor<%>
refresh-delayed? from editor<%>
release-snip from editor<%>
remove-canvas from editor<%>
remove-clickback from text%
resized from editor<%>
run-after-edit-sequence from editor:basic<%>
save-file from editor<%>
save-file-out-of-date? from editor:basic<%>
save-file/gui-error from editor:basic<%>
scroll-line-location from editor<%>
scroll-to from editor<%>
scroll-to-position from text%
select-all from editor<%>
set-active-canvas from editor<%>
set-admin from editor<%>
set-anchor from text%
set-autowrap-bitmap from text%
set-between-threshold from text%
set-caret-owner from editor<%>
set-clickback from text%
set-cursor from editor<%>
set-file-format from text%
set-filename from editor<%>
set-inactive-caret-threshold from editor<%>
set-keymap from editor<%>
set-line-spacing from text%
set-load-overwrites-styles from editor<%>
set-max-height from editor<%>
set-max-undo-history from editor<%>
set-max-width from editor<%>
set-min-height from editor<%>
set-min-width from editor<%>
set-modified from editor<%>
set-overwrite-mode from text%
set-paragraph-alignment from text%
set-paragraph-margins from text%
set-paste-text-only from editor<%>
set-position from text%
set-position-bias-scroll from text%
set-region-data from text%
set-snip-data from editor<%>
set-style-list from editor<%>
set-styles-sticky from text%
set-tabs from text%
set-wordbreak-func from text%
set-wordbreak-map from text%
split-snip from text%
style-has-changed from editor<%>
undo from editor<%>
write-footers-to-file from editor<%>
write-headers-to-file from editor<%>
write-to-file from text%
overrides write-to-file from editor<%>