ui.tools.listener: removing unnecessary spawn.
parent
5f735e4fcc
commit
4d0d1748f0
|
@ -270,9 +270,7 @@ M: string listener-input
|
||||||
[ set-editor-string ] [ request-focus ] bi ;
|
[ set-editor-string ] [ request-focus ] bi ;
|
||||||
|
|
||||||
: call-listener ( quot command -- )
|
: call-listener ( quot command -- )
|
||||||
get-ready-listener
|
get-ready-listener dup wait-for-listener (call-listener) ;
|
||||||
'[ _ _ _ dup wait-for-listener (call-listener) ]
|
|
||||||
"Listener call" spawn drop ;
|
|
||||||
|
|
||||||
M: listener-command invoke-command ( target command -- )
|
M: listener-command invoke-command ( target command -- )
|
||||||
[ command-quot ] [ nip ] 2bi call-listener ;
|
[ command-quot ] [ nip ] 2bi call-listener ;
|
||||||
|
|
Loading…
Reference in New Issue