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

Allow theming borders, spacings and metrics #26129

Closed
be5invis opened this issue May 6, 2017 · 2 comments
Closed

Allow theming borders, spacings and metrics #26129

be5invis opened this issue May 6, 2017 · 2 comments
Assignees
@miguelsolorio
Labels
feature-request Request for new features or functionality *out-of-scope Posted issue is not in scope of VS Code themes Color theme issues
Milestone
Backlog

Comments

@be5invis
Copy link
Contributor

be5invis commented May 6, 2017 •
edited
Loading

Including...

  • Paddings
  • Border thickness
  • Text size
  • Icon size
@be5invis be5invis mentioned this issue May 6, 2017
Closed
@aeschli aeschli changed the title More theme options — Spacing & Metrics Allow theming borders and spacings May 8, 2017
@aeschli aeschli removed their assignment May 8, 2017
@aeschli aeschli added feature-request Request for new features or functionality themes Color theme issues labels May 8, 2017
@aeschli aeschli added this to the Backlog milestone May 8, 2017
@be5invis
Copy link
Contributor Author

According to @bpasero’s suggestion in #28782 I think we can also make it possible to configure text size. The title should be changed back to "metrics".

@be5invis be5invis mentioned this issue Jun 16, 2017
Closed
@be5invis be5invis changed the title Allow theming borders and spacings Allow theming borders, spacings and metrics Jun 16, 2017
@bpasero bpasero removed the workbench label Nov 16, 2017
This was referenced Jan 3, 2018
Closed
Closed
@JeffreyCA JeffreyCA mentioned this issue Jun 6, 2018
Closed
@rdnlsmith rdnlsmith mentioned this issue Jul 17, 2019
Closed
@miguelsolorio miguelsolorio added the *out-of-scope Posted issue is not in scope of VS Code label Oct 8, 2019
@vscodebot
Copy link

vscodebot bot commented Oct 8, 2019

This issue is being closed to keep the number of issues in our inbox on a manageable level, we are closing issues that are not going to be addressed in the foreseeable future: We look at the number of votes the issue has received and the number of duplicate issues filed. More details here. If you disagree and feel that this issue is crucial: We are happy to listen and to reconsider.

If you wonder what we are up to, please see our roadmap and issue reporting guidelines.

Thanks for your understanding and happy coding!

@vscodebot vscodebot bot closed this as completed Oct 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@miguelsolorio miguelsolorio

Labels
feature-request Request for new features or functionality *out-of-scope Posted issue is not in scope of VS Code themes Color theme issues
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
4 participants
@be5invis @bpasero @aeschli @miguelsolorio