Usability tweak: focus on listener input area when input presentation is clicked
parent
fed799a32c
commit
d7dd084b8d
|
@ -50,7 +50,8 @@ M: listener-gadget tool-scroller
|
||||||
listener>> input>> interactor-busy? ;
|
listener>> input>> interactor-busy? ;
|
||||||
|
|
||||||
: listener-input ( string -- )
|
: listener-input ( string -- )
|
||||||
get-workspace listener>> input>> set-editor-string ;
|
get-workspace listener>> input>>
|
||||||
|
[ set-editor-string ] [ request-focus ] bi ;
|
||||||
|
|
||||||
: (call-listener) ( quot listener -- )
|
: (call-listener) ( quot listener -- )
|
||||||
input>> interactor-call ;
|
input>> interactor-call ;
|
||||||
|
|
Loading…
Reference in New Issue