steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix selection rendering

db4
Slava Pestov 2008-12-02 20:46:21 -06:00
parent cb56943f81
commit 9de02d01c5
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
basis/ui/gadgets/editors/editors.factor
View File

@ -235,10 +235,11 @@ M: editor ungraft*
editor get selection-color>> gl-color editor get selection-color>> gl-color
editor get selection-start/end editor get selection-start/end
over first [ over first [
2dup [ 2dup '[
[ _ _ ] dip
draw-selected-line draw-selected-line
1 translate-lines 1 translate-lines
] with with each-line ] each-line
] with-editor-translation ; ] with-editor-translation ;
M: editor draw-gadget* M: editor draw-gadget*