steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Stop blinking before starting again

db4
Slava Pestov 2008-11-30 13:50:09 -06:00
parent 4ec8326917
commit f0fc3190f3
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
basis/ui/gadgets/editors/editors.factor
View File

@ -52,19 +52,21 @@ SYMBOL: blink-interval
750 milliseconds blink-interval set-global 750 milliseconds blink-interval set-global
: start-blinking ( editor -- )
t >>blink
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 ;
: start-blinking ( editor -- )
[ stop-blinking ] [
t >>blink
dup '[ _ blink-caret ] blink-interval get every
>>blink-alarm drop
] bi ;
: restart-blinking ( editor -- ) : restart-blinking ( editor -- )
dup focused?>> [ dup focused?>> [
[ stop-blinking ]
[ start-blinking ] [ start-blinking ]
[ relayout-1 ] [ relayout-1 ]
tri bi
] [ drop ] if ; ] [ drop ] if ;
M: editor graft* M: editor graft*