ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document.
parent
f00b8c8e55
commit
d616f4779e
|
@ -359,6 +359,12 @@ M: editor gadget-text* editor-string % ;
|
||||||
: delete-to-end-of-line ( editor -- )
|
: delete-to-end-of-line ( editor -- )
|
||||||
one-line-elt editor-delete ;
|
one-line-elt editor-delete ;
|
||||||
|
|
||||||
|
: delete-to-start-of-document ( editor -- )
|
||||||
|
doc-elt editor-delete ;
|
||||||
|
|
||||||
|
: delete-to-end-of-document ( editor -- )
|
||||||
|
doc-elt editor-delete ;
|
||||||
|
|
||||||
: com-undo ( editor -- ) model>> undo ;
|
: com-undo ( editor -- ) model>> undo ;
|
||||||
|
|
||||||
: com-redo ( editor -- ) model>> redo ;
|
: com-redo ( editor -- ) model>> redo ;
|
||||||
|
|
Loading…
Reference in New Issue