From ac898f94c5cbb762ff671c4574707565820a04af Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 16 Jan 2009 14:58:59 -0600 Subject: [PATCH] Minor tweak to selection rendering --- basis/ui/gadgets/editors/editors.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor index 4c035c7901..6d7199c77c 100755 --- a/basis/ui/gadgets/editors/editors.factor +++ b/basis/ui/gadgets/editors/editors.factor @@ -217,8 +217,8 @@ M: editor ungraft* [ editor-mark ] [ editor-caret ] bi sort-pair ; : (draw-selection) ( x1 x2 -- ) - over - - dup 0 = [ 2 + ] when + over - 1+ + dup 0 = [ 1+ ] when [ 0.0 2array ] [ editor get line-height 2array ] bi* swap [ gl-fill-rect ] with-translation ;