Next: break Up: Tools Previous: Tools

`drscheme:rep:edit%`

Superclass: mred:console-edit%

User submitted evaluations in DrScheme are evaluated asynchronously.

(make-object drscheme:rep:edit% line-spacing tabstops numtabs) -> drscheme:rep:edit% object
    line-spacing = 1.0 : inexact real
    tabstops = null : boxed inexact real or null
    numtabs = 0 : small integer

Methods:

All methods:

CACHE-TIME from mred:console-edit%
MAX-CACHE-TIME from mred:console-edit%
MIN-CACHE-TIME from mred:console-edit%
TIME-FACTOR from mred:console-edit%
active-canvas from mred:connections-media-edit%
add-buffer-functions from wx:media-buffer%
add-canvas from mred:connections-media-edit%
add-editor-functions from wx:media-edit%
adjust-cursor from wx:media-buffer%
after-change-style from mred:media-edit%
after-delete from mred:info-edit%
after-edit-sequence from mred:info-edit%
after-insert from mred:info-edit%
after-load-file from mred:file-edit%
after-save-file from mred:file-edit%
after-set-position from mred:info-edit%
after-set-size-constraint from mred:media-edit%
append-edit-items from wx:media-buffer%
append-font-items from wx:media-buffer%
auto-save? from mred:backup-autosave-edit%
auto-set-wrap? from mred:media-edit%
autoprompting? from mred:console-edit%
autowrap-bitmap from mred:file-edit%
backup? from mred:backup-autosave-edit%
begin-edit-sequence from wx:media-buffer%
begin-write-header-footer-to-file from wx:media-buffer%
break
buffer-location-to-dc-location from wx:media-buffer%
canvases from mred:connections-media-edit%
caret-hidden? from wx:media-edit%
change-style from wx:media-edit%
cleanup-transparent-io from mred:console-edit%
clear from wx:media-buffer%
clear-undos from wx:media-buffer%
copy from wx:media-edit%
copy-next-previous-expr from mred:console-edit%
copy-prev-previous-expr from mred:console-edit%
copy-previous-expr from mred:console-edit%
copy-self from wx:media-buffer%
copy-self-to from wx:media-edit%
cut from wx:media-edit%
dc-location-to-buffer-location from wx:media-buffer%
delete from wx:media-edit%
display-delta from mred:console-edit%
display-result
do-autosave from mred:backup-autosave-edit%
do-copy from wx:media-edit%
do-edit from wx:media-buffer%
do-eval
do-font from wx:media-buffer%
do-many-buffer-evals
do-paste from wx:media-edit%
do-post-eval from mred:console-edit%
do-pre-eval from mred:console-edit%
do-save-and-eval-or-read-avail from mred:console-edit%
editing-this-file? from mred:file-edit%
enable-autoprompt from mred:console-edit%
end-edit-sequence from wx:media-buffer%
end-write-header-footer-to-file from wx:media-buffer%
erase from wx:media-edit%
error-delta from mred:console-edit%
eval-and-display from mred:console-edit%
eval-busy? from mred:console-edit%
eval-str from mred:console-edit%
extend-edit-sequence-queue from mred:media-edit%
find-line from wx:media-edit%
find-position from wx:media-edit%
find-position-in-line from wx:media-edit%
find-prompt from mred:console-edit%
find-scroll-line from wx:media-buffer%
find-snip from wx:media-edit%
find-string from wx:media-edit%
find-string-all from wx:media-edit%
find-string-embedded from mred:searching-edit%
find-wordbreak from wx:media-edit%
flash-off from wx:media-edit%
flash-on from wx:media-edit%
generic-write from mred:console-edit%
get-admin from wx:media-buffer%
get-anchor from wx:media-edit%
get-between-threshold from wx:media-edit%
get-canvas from mred:connections-media-edit%
get-character from wx:media-edit%
get-dc from wx:media-buffer%
get-descent from wx:media-buffer%
get-edit-snip from mred:media-edit%
get-end-position from wx:media-edit%
get-extent from wx:media-buffer%
get-file from mred:media-edit%
get-file-format from wx:media-edit%
get-filename from wx:media-buffer%
get-flattened-text from wx:media-buffer%
get-focus-snip from wx:media-buffer%
get-frame from mred:connections-media-edit%
get-inactive-focus-threshold from wx:media-buffer%
get-keymap from wx:media-buffer%
get-load-overwrites-styles from wx:media-buffer%
get-max-height from wx:media-buffer%
get-max-undo-history from wx:media-buffer%
get-max-width from wx:media-buffer%
get-min-height from wx:media-buffer%
get-min-width from wx:media-buffer%
get-overwrite-mode from wx:media-edit%
get-pasteboard-snip from mred:media-edit%
get-position from wx:media-edit%
get-prompt from mred:console-edit%
get-region-data from wx:media-edit%
get-snip-data from wx:media-buffer%
get-snip-location from wx:media-buffer%
get-snip-position from wx:media-edit%
get-snip-position-and-location from wx:media-edit%
get-space from wx:media-buffer%
get-start-position from wx:media-edit%
get-style-list from wx:media-buffer%
get-tabs from wx:media-edit%
get-text from wx:media-edit%
get-view-size from wx:media-buffer%
get-visible-line-range from wx:media-edit%
get-visible-position-range from wx:media-edit%
get-wordbreak-map from wx:media-edit%
global-to-local from wx:media-buffer%
hide-caret from wx:media-edit%
highlight-range from mred:media-edit%
init-transparent-io from mred:console-edit%
init-transparent-io-do-work from mred:console-edit%
initialize-console
insert from wx:media-edit%
insert-box from wx:media-buffer%
insert-file from wx:media-buffer%
insert-image from wx:media-buffer%
insert-prompt from mred:console-edit%
invalidate-bitmap-cache from wx:media-buffer%
io-edit% from mred:console-edit%
kill from wx:media-edit%
kill-allow-protected from mred:console-edit%
kill-protect from mred:console-edit%
last-line from wx:media-edit%
last-paragraph from wx:media-edit%
last-position from wx:media-edit%
line-end-position from wx:media-edit%
line-length from wx:media-edit%
line-location from wx:media-edit%
line-paragraph from wx:media-edit%
line-start-position from wx:media-edit%
load-file from mred:media-edit%
local-edit-sequence? from mred:media-edit%
local-to-global from wx:media-buffer%
lock from mred:info-edit%
locked? from mred:media-edit%
make-this-err from mred:console-edit%
make-this-out from mred:console-edit%
max-save-previous-exprs from mred:console-edit%
mode from mred:media-edit%
modified? from wx:media-buffer%
move-position from wx:media-edit%
move/copy-to-edit from mred:media-edit%
needs-update from wx:media-buffer%
normal-delta from mred:console-edit%
normal-font from mred:console-edit%
num-scroll-lines from wx:media-buffer%
on-change from wx:media-buffer%
on-change-style from mred:media-edit%
on-char from wx:media-buffer%
on-close from mred:backup-autosave-edit%
on-default-char from wx:media-buffer%
on-default-event from wx:media-buffer%
on-delete from mred:media-edit%
on-edit-sequence from mred:info-edit%
on-event from wx:media-buffer%
on-focus from mred:media-edit%
on-insert from mred:media-edit%
on-kill-focus from mred:file-edit%
on-load-file from wx:media-buffer%
on-local-char from mred:console-edit%
on-local-event from mred:media-edit%
on-new-box from mred:media-edit%
on-new-image-snip from wx:media-buffer%
on-new-tab-snip from wx:media-edit%
on-new-text-snip from wx:media-edit%
on-paint from wx:media-buffer%
on-save-file from mred:clever-file-format-edit%
on-set-focus from mred:file-edit%
on-set-size-constraint from mred:media-edit%
orig-stderr from mred:console-edit%
orig-stdout from mred:console-edit%
own-caret from wx:media-buffer%
paragraph-end-line from wx:media-edit%
paragraph-end-position from wx:media-edit%
paragraph-start-line from wx:media-edit%
paragraph-start-position from wx:media-edit%
paste from wx:media-edit%
position-line from wx:media-edit%
position-location from wx:media-edit%
position-paragraph from wx:media-edit%
previous-expr-pos from mred:console-edit%
previous-exprs from mred:console-edit%
print from wx:media-buffer%
prompt-mode? from mred:console-edit%
prompt-position from mred:console-edit%
put-file from mred:media-edit%
read-avail from mred:console-edit%
read-footer-from-file from wx:media-buffer%
read-from-file from wx:media-edit%
read-header-from-file from wx:media-buffer%
read-waiting? from mred:console-edit%
ready-non-prompt from mred:console-edit%
redo from wx:media-buffer%
refresh from wx:media-buffer%
refresh-delayed? from wx:media-buffer%
remove-autosave from mred:backup-autosave-edit%
remove-canvas from mred:connections-media-edit%
remove-clickback from wx:media-edit%
report-error
reset-console
resized from wx:media-buffer%
result-delta from mred:console-edit%
run-after-edit-sequence from mred:media-edit%
run-in-evaluation-thread
save-file from wx:media-buffer%
scroll-line-location from wx:media-buffer%
scroll-to from wx:media-buffer%
scroll-to-position from wx:media-edit%
select-all from wx:media-buffer%
set-admin from wx:media-buffer%
set-anchor from mred:info-edit%
set-auto-set-wrap from mred:media-edit%
set-autowrap-bitmap from wx:media-edit%
set-between-threshold from wx:media-edit%
set-caret-owner from wx:media-buffer%
set-clickback from wx:media-edit%
set-cursor from wx:media-edit%
set-display-delta from mred:console-edit%
set-display/write-handlers from mred:console-edit%
set-file-format from wx:media-edit%
set-filename from mred:connections-media-edit%
set-inactive-focus-threshold from wx:media-buffer%
set-keymap from wx:media-buffer%
set-last-header-position from mred:console-edit%
set-load-overwrites-styles from wx:media-buffer%
set-max-height from wx:media-buffer%
set-max-undo-history from wx:media-buffer%
set-max-width from wx:media-buffer%
set-min-height from wx:media-buffer%
set-min-width from wx:media-buffer%
set-mode from mred:media-edit%
set-modified from mred:connections-media-edit%
set-overwrite-mode from mred:info-edit%
set-position from wx:media-edit%
set-position-bias-scroll from wx:media-edit%
set-region-data from wx:media-edit%
set-snip-data from wx:media-buffer%
set-style-list from wx:media-buffer%
set-styles-fixed from mred:media-edit%
set-tabs from wx:media-edit%
set-wordbreak-func from wx:media-edit%
set-wordbreak-map from wx:media-edit%
size-cache-invalid from wx:media-buffer%
split-snip from wx:media-edit%
styles-fixed? from mred:media-edit%
system-parameterization
takeover from mred:console-edit%
this-err from mred:console-edit%
this-err-write from mred:console-edit%
this-in from mred:console-edit%
this-out from mred:console-edit%
this-out-write from mred:console-edit%
this-result from mred:console-edit%
this-result-write from mred:console-edit%
transparent-edit from mred:console-edit%
undo from wx:media-buffer%
user-param
write-footers-to-file from wx:media-buffer%
write-headers-to-file from wx:media-buffer%
write-to-file from wx:media-edit%

Next: break Up: Tools Previous: Tools

PLT