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

actually remove caret-color slot

handle-patch-and-put
Pi 2018-05-06 11:18:18 -07:00 committed by John Benediktsson
parent 7c383a52ba
commit 7a248c0cda
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -11,7 +11,6 @@ ui.render ui.text ui.theme unicode ;
IN: ui.gadgets.editors IN: ui.gadgets.editors
TUPLE: editor < line-gadget TUPLE: editor < line-gadget
caret-color
caret mark caret mark
focused? blink blink-timer focused? blink blink-timer
default-text ; default-text ;