From 9de02d01c5adf5b7c0f4685709074648bb6a5c69 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 2 Dec 2008 20:46:21 -0600 Subject: [PATCH] Fix selection rendering --- basis/ui/gadgets/editors/editors.factor | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor index e262ac7fea..72d5900c28 100755 --- a/basis/ui/gadgets/editors/editors.factor +++ b/basis/ui/gadgets/editors/editors.factor @@ -235,10 +235,11 @@ M: editor ungraft* editor get selection-color>> gl-color editor get selection-start/end over first [ - 2dup [ + 2dup '[ + [ _ _ ] dip draw-selected-line 1 translate-lines - ] with with each-line + ] each-line ] with-editor-translation ; M: editor draw-gadget*