Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Fixed the border around the languages button and the scrollbar fillers #8521

Merged
merged 2 commits into from
Jul 23, 2014

Conversation

TomMalbran
Copy link
Contributor

This should fix #8389 and an issue I saw with the corner scrollbars filler in windows and both scrollbar fillers in Linux.

@redmunds
Copy link
Contributor

I verified that this fixes problem on Windows and doesn't break scrollbar or gutter fillers on Mac. Did not test Linux.

All tests pass (except for known issue 8519)).

Style changes look good, but this may conflict with changes @dangoor is working on, so I'm going to hold off merging. Kevin?

cc @MiguelCastillo

@@ -196,6 +197,10 @@
}

&.platform-linux {
.CodeMirror-scrollbar-filler,
.CodeMirror-gutter-filler {
background-color: #1d1f21;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is it intentional that the linux and windows colors are different?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes. The color for linux is the same as the background color. Without it, it is displayed using the light bg. It works in the same way in the light theme.

To test it in windows I just replace platform-linux with platform-win and comment the windows styles.

@dangoor
Copy link
Contributor

dangoor commented Jul 23, 2014

I was away for the past few hours and it turned out that I haven't had a chance to make any changes yet... which means I have no conflicts to worry about, so I can merge this and work from here.

@TomMalbran
Copy link
Contributor Author

@dangoor I added another fix. The line highlight was white before the code when the line-numbers are off.

@dangoor
Copy link
Contributor

dangoor commented Jul 23, 2014

Good catch. I tried the line number fix and it works fine. Randy tested the other fixes. Merging.

dangoor added a commit that referenced this pull request Jul 23, 2014
Fixed the border around the languages button and the scrollbar fillers
@dangoor dangoor merged commit 8251e93 into master Jul 23, 2014
@dangoor dangoor deleted the tom/dark-scrollbars-languages branch July 23, 2014 02:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Themes] Language button in status bar has a white border on top edge.
3 participants