From 6e40df288786f03b634ceae0d03c3b5b3ad43660 Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han
Date: Thu, 24 Sep 2015 13:57:10 +0800
Subject: Updated codemirror to support panel and match-highlighter and revert
 some unnecessary changes

---
 public/vendor/codemirror/addon/scroll/annotatescrollbar.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'public/vendor/codemirror/addon/scroll/annotatescrollbar.js')

diff --git a/public/vendor/codemirror/addon/scroll/annotatescrollbar.js b/public/vendor/codemirror/addon/scroll/annotatescrollbar.js
index cf92d16d..bbbfa59c 100755
--- a/public/vendor/codemirror/addon/scroll/annotatescrollbar.js
+++ b/public/vendor/codemirror/addon/scroll/annotatescrollbar.js
@@ -97,7 +97,7 @@
       var height = Math.max(bottom - top, 3);
 
       var elt = frag.appendChild(document.createElement("div"));
-      elt.style.cssText = "position: absolute; right: 0px; width: " + Math.max(cm.display.barWidth * 2, 2) + "px; top: "
+      elt.style.cssText = "position: absolute; right: 0px; width: " + Math.max(cm.display.barWidth * 1.5, 2) + "px; top: "
         + (top + this.buttonHeight) + "px; height: " + height + "px";
       elt.className = this.options.className;
     }
-- 
cgit v1.2.3