]> gitweb.factorcode.org Git - factor.git/commitdiff
projects / factor.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7c383a5)
actually remove caret-color slot
authorPi <pi+git@pihost.us>
Sun, 6 May 2018 18:18:18 +0000 (11:18 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 7 Sep 2018 17:02:25 +0000 (10:02 -0700)
basis/ui/gadgets/editors/editors.factor patch | blob | history

diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor
index 76e0c64d093452cee26f4dcc4d3030b20afb2cec..5d75cbf834cfc13a846775fd7ddf86658a62585c 100644 (file)
--- a/basis/ui/gadgets/editors/editors.factor
+++ b/basis/ui/gadgets/editors/editors.factor
@@ -11,7 +11,6 @@ ui.render ui.text ui.theme unicode ;
 IN: ui.gadgets.editors
 
 TUPLE: editor < line-gadget
-    caret-color
     caret mark
     focused? blink blink-timer
     default-text ;
Factor programming language