From d616f4779ec6c87c07846a05c9dadc2844e41d14 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Fri, 4 May 2012 18:38:12 -0700 Subject: [PATCH] ui.gadgets.editors: adding delete-to-start-of-document and delete-to-end-of-document. --- basis/ui/gadgets/editors/editors.factor | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor index db9a27f5d8..ad4cf6b77b 100644 --- a/basis/ui/gadgets/editors/editors.factor +++ b/basis/ui/gadgets/editors/editors.factor @@ -359,6 +359,12 @@ M: editor gadget-text* editor-string % ; : delete-to-end-of-line ( editor -- ) 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-redo ( editor -- ) model>> redo ;