Community
Participate
Working Groups
I have a proposal for an enhancement I did not find in an existing bugzilla. I recently had the idea of a search bar for the problems view. Sometimes there are a lot of errors and warnings in the project and to scroll through all the issues could be quite exhausting. If you had a search bar for filtering, this would be very convenient. Inside the filters view there is one, but to get to the text field there is not very user friendly in my opinion.
Created attachment 265113 [details] Search like in History view Dominik, IIUC, you'd like to have a search like there is in the history view.
If the above is correct, I like the general Idea. Would you like to contribute a patch, following the contribution guide ?https://wiki.eclipse.org/Platform_UI/How_to_Contribute
Adding Lars in c/c as he might be interested in this enhancement.
This might to be only a matter of trying to use a FilteredTree in place of the TreeViewer. Marking as helpwanted as it could be an easy and very useful change to do as part of a hackathon.
Created attachment 269363 [details] ExtendedMarkersView modified I modified the ExtendedMarkersView, but got a problem with the PatternFilter. Before I start digging inside the problem, can you have a look if my solution could work anyway and I am not doing something wrong? I simply modified the createViewer-method, created a FilteredTree and added to the MarkersTreeViewer the filteredTree.getViewer().getTree() instead of creating a new one like before.
(In reply to Dominik Jetzen from comment #5) > Created attachment 269363 [details] > ExtendedMarkersView modified Please use Gerrit for patches, even if they are proof of concept - in that case simply add [WIP] or [DO NOT MERGE] at the beginning of the commit message.
