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

Add categories explicitly to the diagram synthesis options #1119

Merged
merged 1 commit into from
Apr 28, 2022

Conversation

soerendomroes
Copy link
Collaborator

@soerendomroes soerendomroes commented Apr 28, 2022

Since the LSP does not allow sending cyclic structures via JSON the
category of a synthesis option is only retrievable by its id. If the
category is not also added as a synthesis option, klighd-vscode omits all

options for which the category is not retrievable. Adding the categories
explicitly solves this.
Bad:

Screenshot from 2022-04-28 12-59-08
Good:
Screenshot from 2022-04-28 13-00-03

Since the lsp does not allow to send cyclic structures via json the
category of a synthesis option is only retrievable by its id. If the
category is not also added as synthesis-option, klighd-vscode omits all
options for which the category is not retrievable. Adding the categories
explicitly solves this.
@soerendomroes soerendomroes added bug Something isn't working diagrams Problems with diagram synthesis ide labels Apr 28, 2022
@soerendomroes soerendomroes requested review from a-sr and lhstrh April 28, 2022 10:55
Copy link
Collaborator

@a-sr a-sr left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

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

Great! Thanks for fixing this!

@lhstrh lhstrh merged commit ebb6d3c into master Apr 28, 2022
@lhstrh lhstrh deleted the sdo/fix-vscode-synthesis-options-not-shown branch April 28, 2022 21:32
@lhstrh lhstrh changed the title diagram: Add categories explicitly to the synthesis options. Add categories explicitly to the diagram synthesis options May 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working diagrams Problems with diagram synthesis ide
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants