diff options
-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']; |