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

Missing editorGroupHeader colorization option #30331

Closed
rismanrp opened this issue Jul 10, 2017 · 1 comment
Closed

Missing editorGroupHeader colorization option #30331

rismanrp opened this issue Jul 10, 2017 · 1 comment
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality themes Color theme issues

Comments

@rismanrp
Copy link

  • VSCode Version: 1.13.1
  • OS Version: Ubuntu 16.04

sc_vs_code

There seems to be no editable foreground color properties for editorGroupHeader in the workbench.colorCustomizations option. What I want to do is to change the color of the icons on the top right corner of the editor. Options that are available: editorGroupHeader.tabsBackground, editorGroupHeader.noTabsBackground, and editorGroupHeader.tabsBorder.

Reproduces without extensions: Yes
@vscodebot vscodebot bot added the workbench label Jul 10, 2017
@bpasero bpasero added the feature-request Request for new features or functionality label Jul 10, 2017
@bpasero bpasero removed their assignment Jul 10, 2017
@bpasero bpasero added the themes Color theme issues label Jul 10, 2017
@bpasero
Copy link
Member

bpasero commented Aug 22, 2017

#26130

@bpasero bpasero closed this as completed Aug 22, 2017
@bpasero bpasero added the *duplicate Issue identified as a duplicate of another issue(s) label Aug 22, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality themes Color theme issues
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bpasero @rismanrp