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/simplescrollbars.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/public/vendor/codemirror/addon/scroll/simplescrollbars.js b/public/vendor/codemirror/addon/scroll/simplescrollbars.js
index 4f0d0d0f..f78353a1 100755
--- a/public/vendor/codemirror/addon/scroll/simplescrollbars.js
+++ b/public/vendor/codemirror/addon/scroll/simplescrollbars.js
@@ -75,13 +75,14 @@
     this.screen = clientSize;
     this.total = scrollSize;
     this.size = barSize;
+
     var buttonSize = this.screen * (this.size / this.total);
     if (buttonSize < minButtonSize) {
       this.size -= minButtonSize - buttonSize;
       buttonSize = minButtonSize;
     }
     this.inner.style[this.orientation == "horizontal" ? "width" : "height"] =
-      (buttonSize - 4) + "px";
+      buttonSize + "px";
     this.inner.style[this.orientation == "horizontal" ? "left" : "top"] =
       this.pos * (this.size / this.total) + "px";
   };
-- 
cgit v1.2.3