Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add more border width to CodeMirror cursor #2983

Merged
merged 3 commits into from
Oct 27, 2017
Merged

Add more border width to CodeMirror cursor #2983

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
b92dd28
Add more border width to CodeMirror cursor
gnestor Oct 26, 2017
0fe8ee1
Add media queries as proxy for zoom levels
gnestor Oct 26, 2017
817f541
Add assumed screen resolution to comments
gnestor Oct 26, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions notebook/static/notebook/less/codemirror.less
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,3 +52,20 @@
.border-radius(0)
}

.CodeMirror-cursor {
border-left: 1.4px solid black;
}

// When zoomed out 67% and 33% on a screen of 1440 width x 900 height
@media screen and (min-width: 2138px) and (max-width: 4319px) {
.CodeMirror-cursor {
border-left: 2px solid black;
}
}

// When zoomed out less than 33%
@media screen and (min-width: 4320px) {
.CodeMirror-cursor {
border-left: 4px solid black;
}
}