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

introduce 'deemphasize' hint on Source type #93

Closed
weinand opened this issue Jan 10, 2017 · 1 comment
Closed

introduce 'deemphasize' hint on Source type #93

weinand opened this issue Jan 10, 2017 · 1 comment
Assignees
Milestone

Comments

@weinand
Copy link
Contributor

weinand commented Jan 10, 2017

Some debug adapters want to deemphasize Source objects in the UI, e.g. to indicate that the real source is not available or that the source is skipped on stepping.
This request asks for add an optional deemphasize attribute to the Source type.
A front end could use this attribute by rendering the source in a dimmed way.

@weinand
Copy link
Contributor Author

weinand commented Jan 11, 2017

I'v added this attribute to Source:

/** An optional hint for how to present the source in the UI. A value of 'deemphasize' can be used to indicate that the source is not available or that it is skipped on stepping. */
presentationHint?: 'emphasize' | 'deemphasize';

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant