ui.tools.listener: handle history-completion popup differently.
parent
aaabe0a142
commit
17aa52f51c
|
@ -196,3 +196,13 @@ M: completion-popup handle-gesture ( gesture completion -- ? )
|
|||
2dup completion-gesture [
|
||||
[ nip hide-glass ] [ invoke-command ] 2bi* f
|
||||
] [ drop call-next-method ] if* ;
|
||||
|
||||
: ?check-popup ( interactor -- interactor )
|
||||
dup popup>> [
|
||||
gadget-child dup completion-popup? [
|
||||
completion-mode>> dup history-completion? [ drop ] [
|
||||
over completion-mode =
|
||||
[ dup popup>> hide-glass ] unless
|
||||
] if
|
||||
] [ drop ] if
|
||||
] when* ;
|
||||
|
|
|
@ -373,14 +373,6 @@ M: interactor stream-read-quot ( stream -- quot/f )
|
|||
[ nip ] [ gesture>operation ] 2bi
|
||||
[ invoke-command f ] [ drop t ] if* ;
|
||||
|
||||
: ?check-popup ( interactor -- interactor )
|
||||
dup popup>> [
|
||||
gadget-child dup completion-popup? [
|
||||
completion-mode>> over completion-mode =
|
||||
[ dup popup>> hide-glass ] unless
|
||||
] [ drop ] if
|
||||
] when* ;
|
||||
|
||||
M: interactor handle-gesture
|
||||
{
|
||||
{ [ over key-gesture? not ] [ call-next-method ] }
|
||||
|
|
Loading…
Reference in New Issue