rollback #3358 #3401
Merged
rollback #3358 #3401
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
closes ipython#3391 For users who need to hide the scrollbars while zooming text in the meantime, you can add the following to your custom.css: ```css .CodeMirror-scroll, .CodeMirror-wrap .CodeMirror-scroll { overflow: scroll; } .CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-hscrollbar { visibility: hidden; } ```
|
As this is annoying a few people, merging. Side note, you can also add the above style in a markdown cell between |
Carreau
added a commit
that referenced
this pull request
Jun 4, 2013
rollback #3358 #3358 was a workaround for a CodeMirror (actually Chrome seems to be the one at fault) bug drawing scrollbars over text, when there isn't anything to scroll. The workaround was a compromise, always drawing the space for the scrollbars to prevent the overlay, but reducing the margin so it isn't quite so annoying in the ~99% of the time that there are no scrollbars. It turns out (#3397, #3399) that the margins are not reliable, so the margin adjustment could cause the very same problem. closes #3391, #3397, #3399 For users who need to hide the scrollbars while zooming text while we wait for a CodeMirror release, you can add the following to your custom.css: .CodeMirror-scroll, .CodeMirror-wrap .CodeMirror-scroll { overflow: scroll; } .CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-hscrollbar { visibility: hidden; } or just put CodeMirror master in your profile's static/components directory.
mattvonrocketstein
pushed a commit
to mattvonrocketstein/ipython
that referenced
this pull request
Nov 3, 2014
rollback ipython#3358 ipython#3358 was a workaround for a CodeMirror (actually Chrome seems to be the one at fault) bug drawing scrollbars over text, when there isn't anything to scroll. The workaround was a compromise, always drawing the space for the scrollbars to prevent the overlay, but reducing the margin so it isn't quite so annoying in the ~99% of the time that there are no scrollbars. It turns out (ipython#3397, ipython#3399) that the margins are not reliable, so the margin adjustment could cause the very same problem. closes ipython#3391, ipython#3397, ipython#3399 For users who need to hide the scrollbars while zooming text while we wait for a CodeMirror release, you can add the following to your custom.css: .CodeMirror-scroll, .CodeMirror-wrap .CodeMirror-scroll { overflow: scroll; } .CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-hscrollbar { visibility: hidden; } or just put CodeMirror master in your profile's static/components directory.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
#3358 was a workaround for a CodeMirror (actually Chrome seems to be the one at fault) bug drawing scrollbars over text, when there isn't anything to scroll. The workaround was a compromise, always drawing the space for the scrollbars to prevent the overlay, but reducing the margin so it isn't quite so annoying in the ~99% of the time that there are no scrollbars. It turns out (#3397, #3399) that the margins are not reliable, so the margin adjustment could cause the very same problem.
closes #3391, #3397, #3399
For users who need to hide the scrollbars while zooming text while we wait for a CodeMirror release, you can add the following to your custom.css:
or just put CodeMirror master in your profile's static/components directory.