]> gitweb.factorcode.org Git - factor.git/commit
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)
commit7a248c0cdaa0d2db167eebe6db6fdbcc50257840
tree663baa078a18cffb1889e584356cbb0e9eb76bae
parent7c383a52ba7bdb00819abf54df87e991a58cbbdf
actually remove caret-color slot
basis/ui/gadgets/editors/editors.factor