From 5911ad913f305d26bf6a4016052417b65719788e Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Thu, 20 Nov 2008 23:29:16 -0600
Subject: [PATCH] Make blink interval configurable

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

diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor
index e8b79bed72..b5d30dd2d6 100644
--- a/basis/ui/gadgets/editors/editors.factor
+++ b/basis/ui/gadgets/editors/editors.factor
@@ -48,9 +48,13 @@ focused? blink blink-alarm ;
 : blink-caret ( editor -- )
     [ not ] change-blink relayout-1 ;
 
+SYMBOL: blink-interval
+
+750 milliseconds blink-interval set-global
+
 : start-blinking ( editor -- )
     t >>blink
-    dup '[ _ blink-caret ] 750 milliseconds every >>blink-alarm drop ;
+    dup '[ _ blink-caret ] blink-interval get every >>blink-alarm drop ;
 
 : stop-blinking ( editor -- )
     [ [ cancel-alarm ] when* f ] change-blink-alarm drop ;