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.

Sign up for GitHub

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

Jump to bottom

[debug] add 'filter' toolbar item for the debug console #6067

Closed
vince-fugnitto opened this issue Aug 29, 2019 · 0 comments
Closed

[debug] add 'filter' toolbar item for the debug console #6067

vince-fugnitto opened this issue Aug 29, 2019 · 0 comments
Assignees
@tolusha
Labels
debug issues that related to debug functionality enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help

Comments

@vince-fugnitto
Copy link
Member

Description

A useful feature to have is to be able to filter down the message types for the debug console.
This will allow users to quickly see information that they care about without the noise.

The feature should display the MessageTypes as toggles so that messages can be turned on/off.
https://github.com/theia-ide/theia/blob/2b90849901d25b9b8b0eaa013511c132909167e4/packages/core/src/common/message-service-protocol.ts#L22-L28

When clicking the toolbar item the user has the option to select/un-select the following:

Action Outcome
Severity: Errors Display Error Messages
Severity: Warnings Display Warning Messages
Severity: Info Display Info Messages
Severity Log Display Debug Messages
Reset Reset's choices to select all
@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves debug issues that related to debug functionality labels Aug 29, 2019
@akosyakov akosyakov added the help wanted issues meant to be picked up, require help label Aug 30, 2019
@tsmaeder tsmaeder mentioned this issue Sep 3, 2019
Closed
41 tasks
@tsmaeder tsmaeder mentioned this issue Sep 24, 2019
Closed
30 tasks
@tsmaeder tsmaeder mentioned this issue Oct 11, 2019
Closed
26 tasks
@tolusha tolusha mentioned this issue Nov 4, 2019
Merged
1 task
@tolusha tolusha self-assigned this Nov 5, 2019
@tolusha tolusha closed this as completed Nov 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tolusha tolusha

Labels
debug issues that related to debug functionality enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@tolusha @akosyakov @vince-fugnitto