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/dialog/dialog.css | 1 + public/vendor/codemirror/addon/scroll/annotatescrollbar.js | 2 +- public/vendor/codemirror/addon/scroll/simplescrollbars.css | 14 +++++++------- public/vendor/codemirror/addon/scroll/simplescrollbars.js | 3 ++- .../vendor/codemirror/addon/search/matchesonscrollbar.css | 3 +-- 5 files changed, 12 insertions(+), 11 deletions(-) (limited to 'public/vendor/codemirror/addon') diff --git a/public/vendor/codemirror/addon/dialog/dialog.css b/public/vendor/codemirror/addon/dialog/dialog.css index 677c0783..cf867fda 100755 --- a/public/vendor/codemirror/addon/dialog/dialog.css +++ b/public/vendor/codemirror/addon/dialog/dialog.css @@ -29,4 +29,5 @@ .CodeMirror-dialog button { font-size: 70%; + color: black; } 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; } diff --git a/public/vendor/codemirror/addon/scroll/simplescrollbars.css b/public/vendor/codemirror/addon/scroll/simplescrollbars.css index 136be9ac..3b75adc9 100755 --- a/public/vendor/codemirror/addon/scroll/simplescrollbars.css +++ b/public/vendor/codemirror/addon/scroll/simplescrollbars.css @@ -15,7 +15,7 @@ .CodeMirror-simplescroll-horizontal { bottom: 0; left: 0; - height: 8px; + height: 6px; } .CodeMirror-simplescroll-horizontal div { bottom: 0; @@ -24,7 +24,7 @@ .CodeMirror-simplescroll-vertical { right: 0; top: 0; - width: 8px; + width: 6px; } .CodeMirror-simplescroll-vertical div { right: 0; @@ -39,8 +39,8 @@ .CodeMirror-overlayscroll-horizontal div, .CodeMirror-overlayscroll-vertical div { position: absolute; background: #ccc; - border-radius: 3px; - margin: 2px; + border-radius: 7px; + border: 2px solid #222; } .CodeMirror-overlayscroll-horizontal, .CodeMirror-overlayscroll-vertical { @@ -50,7 +50,7 @@ .CodeMirror-overlayscroll-horizontal { bottom: 0; left: 0; - height: 6px; + height: 10px; } .CodeMirror-overlayscroll-horizontal div { bottom: 0; @@ -58,8 +58,8 @@ } .CodeMirror-overlayscroll-vertical { - right: 0; top: 0; - width: 6px; + right: 0px; top: 0px; + width: 10px; } .CodeMirror-overlayscroll-vertical div { right: 0; 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"; }; diff --git a/public/vendor/codemirror/addon/search/matchesonscrollbar.css b/public/vendor/codemirror/addon/search/matchesonscrollbar.css index 77932cc9..0ae36342 100755 --- a/public/vendor/codemirror/addon/search/matchesonscrollbar.css +++ b/public/vendor/codemirror/addon/search/matchesonscrollbar.css @@ -1,7 +1,6 @@ .CodeMirror-search-match { background: gold; - border-top: 1px solid orange; - border-bottom: 1px solid orange; + border: 1px solid orange; -moz-box-sizing: border-box; box-sizing: border-box; opacity: .5; -- cgit v1.2.3