diff --git a/lib/codemirror.css b/lib/codemirror.css index 56896500e7..1564fe3753 100644 --- a/lib/codemirror.css +++ b/lib/codemirror.css @@ -164,17 +164,17 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;} .CodeMirror-scroll { overflow: scroll !important; /* Things will break if this is overridden */ - /* 50px is the magic margin used to hide the element's real scrollbars */ + /* 200px is the magic margin used to hide the element's real scrollbars */ /* See overflow: hidden in .CodeMirror */ - margin-bottom: -50px; margin-right: -50px; - padding-bottom: 50px; + margin-bottom: -200px; margin-right: -200px; + padding-bottom: 200px; height: 100%; outline: none; /* Prevent dragging from highlighting the element */ position: relative; } .CodeMirror-sizer { position: relative; - border-right: 50px solid transparent; + border-right: 200px solid transparent; } /* The fake, visible scrollbars. Used to force redraw during scrolling @@ -212,7 +212,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;} height: 100%; display: inline-block; vertical-align: top; - margin-bottom: -50px; + margin-bottom: -200px; } .CodeMirror-gutter-wrapper { position: absolute; diff --git a/src/util/misc.js b/src/util/misc.js index 6dc8d8615c..326fb92ad5 100644 --- a/src/util/misc.js +++ b/src/util/misc.js @@ -61,7 +61,7 @@ export function indexOf(array, elt) { } // Number of pixels added to scroller and sizer to hide scrollbar -export let scrollerGap = 50 +export let scrollerGap = 200 // Returned or thrown by various protocols to signal 'I'm not // handling this'.