Parents: | ui.gadgets.editors |
Class | Superclass | Slots |
selected-line | tuple | start end first? last? |
blink-interval |
selected-lines |
Word | Stack effect |
<field-border> | ( gadget -- border ) |
<loc> | ( -- loc ) |
activate-editor-model | ( editor model -- ) |
blink-caret | ( editor -- ) |
caret-line | ( editor -- loc dim ) |
caret-rect | ( editor -- loc dim ) |
caret/mark-changed | ( editor -- ) |
compute-selection | ( editor -- assoc ) |
contents-changed | ( model editor -- ) |
deactivate-editor-model | ( editor model -- ) |
draw-caret | ( editor -- ) |
draw-caret-line | ( editor -- ) |
draw-caret-rect | ( editor -- ) |
draw-caret-rect-filled | ( editor -- ) |
draw-caret-shape | ( editor -- ) |
draw-caret? | ( editor -- ? ) |
draw-default-text | ( editor -- ) |
draw-default-text? | ( editor -- ? ) |
draw-preedit-underlines | ( editor -- ) |
draw-selected-line | ( line pair editor -- ) |
draw-selection | ( line pair editor -- ) |
draw-unselected-line | ( line editor -- ) |
editor-theme | ( editor -- editor ) |
field-theme | ( gadget -- gadget ) |
init-editor-locs | ( editor -- editor ) |
join-lines | ( string -- string' ) |
join-with-next | ( document line -- ) |
join-with-prev | ( document line -- ) |
last-line? | ( document line -- ? ) |
next-page-elt | ( editor -- editor element ) |
page-elt | ( editor n -- editor element ) |
prev-line-and-this | ( document line -- start end ) |
prev-page-elt | ( editor -- editor element ) |
restart-blinking | ( editor -- ) |
selection-start/end | ( editor -- start end ) |
start-blinking | ( editor -- ) |
stop-blinking | ( editor -- ) |
this-line-and-next | ( document line -- start end ) |
Word | Stack effect |
selected-line? | ( object -- ? ) |