From 6f079a3c7aac0425b6f970efdcb42dd5bab21e7d Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han <jacky_cute0808@hotmail.com>
Date: Sun, 12 Jul 2015 21:21:03 +0800
Subject: [PATCH] Reduced finishChangeDelay from 400ms to 200ms

---
 public/js/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/index.js b/public/js/index.js
index efc4597..c90255e 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'];