sync

2018-01-22 16:06:38 +08:00
parent 26d2ce972f
commit af0dbcefb7
4 changed files with 33 additions and 51 deletions
--- a/app/src/main/assets/editor/index.js
+++ b/app/src/main/assets/editor/index.js
@@ -67,11 +67,17 @@ editor.setOption("hintOptions", {
    completeSingle: false,
    globalScope: autoJsGlobalScope()
 });
+var id = null;
 editor.on("keyup", function(editor, event)
 {
    if (!ExcludedIntelliSenseTriggerKeys[(event.keyCode || event.which).toString()] )
    {
-        editor.execCommand("autocomplete");
+        if(id != null){
+            clearTimeout(id);
+        }
+        id = setTimeout(function(){
+            editor.execCommand("autocomplete");
+        }, 100);
    }
 });
 editor.setCursor({line: 0, ch: 0});