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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[themes] 'Generate Color Theme From Current Settings' omits semantic token settings #101556

Open
gjsjohnmurray opened this issue Jul 2, 2020 · 2 comments
Assignees
Labels
feature-request Request for new features or functionality themes Color theme issues
Milestone

Comments

@gjsjohnmurray
Copy link
Contributor

Issue Type: Bug

  1. Launch the semantic-tokens-sample extension.
  2. Follow the README.md instructions to add editor.semanticTokenColorCustomizations to your settings.
  3. Run the Developer: Generate Color Theme From Current Settings command.
  4. Review the generated color theme document but find no sign of your semantic token color customizations.

VS Code version: Code - Insiders 1.47.0-insider (b16b467, 2020-07-01T05:32:07.483Z)
OS version: Windows_NT x64 10.0.18363

@aeschli aeschli added themes Color theme issues feature-request Request for new features or functionality labels Jul 2, 2020
@aeschli aeschli added this to the July 2020 milestone Jul 2, 2020
@aeschli aeschli added verification-needed Verification of issue is requested and removed verification-needed Verification of issue is requested labels Aug 2, 2020
@aeschli aeschli modified the milestones: July 2020, August 2020 Aug 2, 2020
@aeschli aeschli modified the milestones: August 2020, September 2020 Aug 31, 2020
@aeschli aeschli modified the milestones: September 2020, October 2020 Sep 29, 2020
@aeschli aeschli modified the milestones: October 2020, On Deck Oct 26, 2020
@aeschli aeschli changed the title 'Generate Color Theme From Current Settings' omits semantic token settings [themes] 'Generate Color Theme From Current Settings' omits semantic token settings Nov 6, 2020
@MatamandoKalilani
Copy link

Has this issue been solved yet?.

@ykrx
Copy link
Contributor

ykrx commented Jul 24, 2023

Any updates? Forces tedious copy-pasting

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request Request for new features or functionality themes Color theme issues
Projects
None yet
Development

No branches or pull requests

4 participants