-
Notifications
You must be signed in to change notification settings - Fork 8.4k
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
Fix a missing entry for intenseTextStyle in the Profile schema #14210
Conversation
(I changed the wording from Thanks for doing this! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should probably go over the schema with a fine-toothed comb and perhaps some found expertise; it's grown ungainly as you've pointed out. Thanks again!
Fix a missing entry in the JSON schema for `intenseTextStyle`. The JSON schema was missing an entry in the Profile section for `intenseTextStyle`. I have added it as it appears in AppearanceConfig. Note that this is currently duplicated in the schema -- however, this is the pattern used already in Profile as AppearanceConfig entries have alternate descriptions (and I have updated the description in that section to make it clear it applies to unfocused terminals). Longer-term, it likely makes sense to consolidate all entires into ApperanceConfig and rely on the description for the `unfocusedApperance` object/the name of the object to make the limited scope of those keys clear, so that Profile can simply extend ApperanceConfig and the duplication in the schema can be reduced. ## Validation Steps Performed Validation with schema verifying tools including VS Code. Partially addresses #13387 (cherry picked from commit 33cb0eb) Service-Card-Id: 86228742 Service-Version: 1.15
Fix a missing entry in the JSON schema for `intenseTextStyle`. The JSON schema was missing an entry in the Profile section for `intenseTextStyle`. I have added it as it appears in AppearanceConfig. Note that this is currently duplicated in the schema -- however, this is the pattern used already in Profile as AppearanceConfig entries have alternate descriptions (and I have updated the description in that section to make it clear it applies to unfocused terminals). Longer-term, it likely makes sense to consolidate all entires into ApperanceConfig and rely on the description for the `unfocusedApperance` object/the name of the object to make the limited scope of those keys clear, so that Profile can simply extend ApperanceConfig and the duplication in the schema can be reduced. ## Validation Steps Performed Validation with schema verifying tools including VS Code. Partially addresses #13387 (cherry picked from commit 33cb0eb) Service-Card-Id: 86228743 Service-Version: 1.16
🎉 Handy links: |
🎉 Handy links: |
Fix a missing entry in the JSON schema for
intenseTextStyle
.The JSON schema was missing an entry in the Profile section for
intenseTextStyle
. I have added it as it appears in AppearanceConfig.Note that this is currently duplicated in the schema -- however, this is
the pattern used already in Profile as AppearanceConfig entries have
alternate descriptions (and I have updated the description in that
section to make it clear it applies to unfocused terminals).
Longer-term, it likely makes sense to consolidate all entires into
ApperanceConfig and rely on the description for the
unfocusedApperance
object/the name of the object to make the limited scope of those keys
clear, so that Profile can simply extend ApperanceConfig and the
duplication in the schema can be reduced.
Validation Steps Performed
Validation with schema verifying tools including VS Code.
Partially addresses #13387