]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.listener: no-delay on completion tooltip.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 00:57:52 +0000 (16:57 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 00:57:52 +0000 (16:57 -0800)
basis/ui/tools/listener/completion/completion.factor

index 8e44964e1c73ca39f9e12698a2d4fa49bec2547c..0bf1eab502feee1553506a3da472668b6d97bc6f 100644 (file)
@@ -120,8 +120,7 @@ TUPLE: completion-popup < track interactor table completion-mode ;
     [ completion-popup? ] find-parent ;
 
 : <completion-model> ( editor element quot -- model )
-    [ <element-model> 1/3 seconds <delay> ] dip
-    '[ @ >alist 1000 short head ] <arrow> ;
+    [ <element-model> ] dip '[ @ >alist 100 short head ] <arrow> ;
 
 M: completion-popup focusable-child* table>> ;