Skip to content

Add OutputChannel.isVisible API#148994

Closed
justanotheranonymoususer wants to merge 6 commits intomicrosoft:mainfrom
justanotheranonymoususer:OutputChannel.isVisible_API
Closed

Add OutputChannel.isVisible API#148994
justanotheranonymoususer wants to merge 6 commits intomicrosoft:mainfrom
justanotheranonymoususer:OutputChannel.isVisible_API

Conversation

@justanotheranonymoususer
Copy link
Copy Markdown
Contributor

This will be useful to my extension. Thanks.

This PR fixes #148993

@sandy081
Copy link
Copy Markdown
Member

I am sorry that I cannot take this PR for API until we decide if it is really necessary and useful in general.

@sandy081 sandy081 closed this May 24, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Jul 8, 2022
@justanotheranonymoususer justanotheranonymoususer deleted the OutputChannel.isVisible_API branch February 2, 2023 20:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add OutputChannel.isVisible API

3 participants