diff options
author | Wu Cheng-Han | 2015-07-12 21:21:03 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2015-07-12 21:21:03 +0800 |
commit | 6f079a3c7aac0425b6f970efdcb42dd5bab21e7d (patch) | |
tree | 69df1d3c59829aa163e8d8ccd72385615b65e3ce /public/js | |
parent | bbcc64af6b8e610f09a845c940c930d4d91a12f4 (diff) |
Reduced finishChangeDelay from 400ms to 200ms
Diffstat (limited to 'public/js')
-rw-r--r-- | public/js/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index efc45973..c90255e4 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -16,7 +16,7 @@ var defaultExtraKeys = { }; var idleTime = 300000; //5 mins -var finishChangeDelay = 400; +var finishChangeDelay = 200; var cursorActivityDelay = 50; var cursorAnimatePeriod = 100; var supportCodeModes = ['javascript', 'htmlmixed', 'htmlembedded', 'css', 'xml', 'clike', 'clojure', 'ruby', 'python', 'shell', 'php', 'sql', 'coffeescript', 'yaml', 'jade', 'lua', 'cmake', 'nginx', 'perl', 'sass', 'r', 'dockerfile']; |