Make blink interval configurable
parent
53646a076b
commit
5911ad913f
|
@ -48,9 +48,13 @@ focused? blink blink-alarm ;
|
||||||
: blink-caret ( editor -- )
|
: blink-caret ( editor -- )
|
||||||
[ not ] change-blink relayout-1 ;
|
[ not ] change-blink relayout-1 ;
|
||||||
|
|
||||||
|
SYMBOL: blink-interval
|
||||||
|
|
||||||
|
750 milliseconds blink-interval set-global
|
||||||
|
|
||||||
: start-blinking ( editor -- )
|
: start-blinking ( editor -- )
|
||||||
t >>blink
|
t >>blink
|
||||||
dup '[ _ blink-caret ] 750 milliseconds every >>blink-alarm drop ;
|
dup '[ _ blink-caret ] blink-interval get every >>blink-alarm drop ;
|
||||||
|
|
||||||
: stop-blinking ( editor -- )
|
: stop-blinking ( editor -- )
|
||||||
[ [ cancel-alarm ] when* f ] change-blink-alarm drop ;
|
[ [ cancel-alarm ] when* f ] change-blink-alarm drop ;
|
||||||
|
|
Loading…
Reference in New Issue