From 7a248c0cdaa0d2db167eebe6db6fdbcc50257840 Mon Sep 17 00:00:00 2001
From: Pi <pi+git@pihost.us>
Date: Sun, 6 May 2018 11:18:18 -0700
Subject: [PATCH] actually remove caret-color slot

---
 basis/ui/gadgets/editors/editors.factor | 1 -
 1 file changed, 1 deletion(-)

diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor
index 76e0c64d09..5d75cbf834 100644
--- 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 ;
-- 
2.34.1