Skip to content

Commit

Permalink
fix: show scrollbar, hide when not hovered (for windows)
Browse files Browse the repository at this point in the history
  • Loading branch information
timsuchanek committed Apr 12, 2018
1 parent 59a39eb commit 5c79d70
Showing 1 changed file with 7 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -787,12 +787,17 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {
/* 30px is the magic margin used to hide the element's real scrollbars */
/* See overflow: hidden in .CodeMirror */
margin-bottom: -30px;
margin-right: -30px;
margin-right: 20px;
outline: none; /* Prevent dragging from highlighting the element */
overflow: scroll !important; /* Things will break if this is overridden */
padding-bottom: 30px;
position: relative;
overflow: hidden !important; /* Things will break if this is overridden */
}

.CodeMirror-scroll:hover {
overflow: scroll !important; /* Things will break if this is overridden */
}

.CodeMirror-sizer {
border-right: 30px solid transparent;
position: relative;
Expand Down

0 comments on commit 5c79d70

Please sign in to comment.