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.

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

Already on GitHub? Sign in to your account

Add editorOverviewRuler.background colour customisation point #93732

Merged
merged 1 commit into from Apr 27, 2020
Merged

Add editorOverviewRuler.background colour customisation point #93732

merged 1 commit into from Apr 27, 2020

Conversation

robertrossmann
Copy link
Contributor

Allow themes to customise the editor overview ruler's background colour. 馃帹 This PR adds a new theme variable, editorOverviewRuler.background. The background colour is used in only certain circumstances:

  • a theme or user must provide a value for this colour contribution (obviously 馃槃)
  • the minimap must be enabled and must be placed on the right side of the editor to have this background colour, otherwise the ruler's background is transparent

You can see the background colour in action in the screenshots below.

Motivation

In my theme, Remedy, I try to follow a simple rule - code gets its background colour and everything else (UI elements) get a different colour to distinguish UI from "codable area". The overview ruler did not fit into that scheme.

Screenshots

Before this PR / no colour configured for editorOverviewRuler.background
original

After this PR and a colour provided for editorOverviewRuler.background
custom background

Minimap is on left side of the editor -> no background colour used
minimap on left

Minimap is disabled -> no background colour used
minimap disabled

Diff views do not have a minimap -> no background colour used
diff view

@robertrossmann
Copy link
Contributor Author

I just rebased this on top of current master. Is there anything I can do to get this merged in? 馃檹 鉂わ笍 @aeschli

Thanks in advance!

@aeschli
Copy link
Contributor

aeschli commented Apr 20, 2020

Change and color name looks good to me. @alexdima Any concerns?

@robertrossmann
Copy link
Contributor Author

Any hopes of getting this in before the endgame freeze? 馃檹 I would love to see this in 1.45 release. 鉂わ笍 Thanks a lot!

@alexdima alexdima self-requested a review April 27, 2020 07:19
Copy link
Member

@alexdima alexdima left a comment

Choose a reason for hiding this comment

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

LGTM, thank you!

@aeschli aeschli merged commit de1e481 into microsoft:master Apr 27, 2020
@aeschli aeschli added this to the April 2020 milestone Apr 27, 2020
@robertrossmann
Copy link
Contributor Author

Yay, thanks for getting this in for the April release! 鉂わ笍馃殌

@robertrossmann robertrossmann deleted the feat/editor-overview-ruler-background branch April 27, 2020 08:24
robertrossmann added a commit to robertrossmann/vscode-remedy that referenced this pull request Apr 27, 2020
github-actions bot pushed a commit to robertrossmann/vscode-remedy that referenced this pull request Apr 27, 2020
# [4.9.0](4.8.0...4.9.0) (2020-04-27)

### Features

* customise the overview ruler's background ([f99c258](f99c258)), closes [microsoft/vscode#93732](microsoft/vscode#93732)

### Reverts

* Revert "feat: add border below tab groups" ([9597105](9597105))
@nazartt8
Copy link

Hi robertrossmann, I use VS Code in my Windows-10. I like its color theme "Tomorrow Light Blue". And have successfully changed some colors of this theme(e.g. color for comment, color for selection-highlight etc) by modifying content of a file named "tomorrow-night-blue-theme.json". But one COLOR I've been trying so hard just couldn't manage to change it. That is color of "searching result", the color is insignificant that makes located results hardly to be differentiated. Hope you can assist. Thank you!

@robertrossmann
Copy link
Contributor Author

@nazartt8 I think you should not modify the theme file directly, instead, change the colours in your settings:

https://vscode.readthedocs.io/en/latest/getstarted/theme-color-reference

@nazartt8
Copy link

nazartt8 commented May 17, 2020

@robertrossmann Thanks so much. You've saved my time. And I've learned new thing. It works now. Appreciated!

@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2020
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.

None yet

4 participants