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

[plugin] Enhance features of LogOutputChannelImpl #12440

Open
ndoschek opened this issue Apr 21, 2023 · 0 comments
Open

[plugin] Enhance features of LogOutputChannelImpl #12440

ndoschek opened this issue Apr 21, 2023 · 0 comments
Labels
output issues related to the output vscode issues related to VSCode compatibility

Comments

@ndoschek
Copy link
Contributor

ndoschek commented Apr 21, 2023

Feature Description:

Follow-up of #12017 (PR #12429):

The initial PR contributed the basic VS Code API support for LogOutputChannels, to support extensions to make use of the LogOutputChannel. VS Code offers some additional features which would also be great for Theia:

  • Currently, the log level for LogOutputChannels is set by default to INFO and cannot be changed. VS Code supports to set the log level via the command Developer: Set Log Level... in the application which also configures the log level for LogOutputChannels.
  • Also, VS Code writes the content of the LogOutputChannel to a separate log file per extension (see also command Developer: Open Extension Logs Folder) and offers a tool in the output view toolbar to directly open the extensions's log file in the application.
    image
@vince-fugnitto vince-fugnitto added vscode issues related to VSCode compatibility output issues related to the output labels Apr 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
output issues related to the output vscode issues related to VSCode compatibility
Projects
None yet
Development

No branches or pull requests

2 participants