Minor tweak to selection rendering
parent
37407cde96
commit
ac898f94c5
|
@ -217,8 +217,8 @@ M: editor ungraft*
|
||||||
[ editor-mark ] [ editor-caret ] bi sort-pair ;
|
[ editor-mark ] [ editor-caret ] bi sort-pair ;
|
||||||
|
|
||||||
: (draw-selection) ( x1 x2 -- )
|
: (draw-selection) ( x1 x2 -- )
|
||||||
over -
|
over - 1+
|
||||||
dup 0 = [ 2 + ] when
|
dup 0 = [ 1+ ] when
|
||||||
[ 0.0 2array ] [ editor get line-height 2array ] bi*
|
[ 0.0 2array ] [ editor get line-height 2array ] bi*
|
||||||
swap [ gl-fill-rect ] with-translation ;
|
swap [ gl-fill-rect ] with-translation ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue