Summary: | search bar for problems view | ||||||||
---|---|---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Nobody - feel free to take it <nobody> | ||||||
Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> | ||||||
Status: | NEW --- | QA Contact: | |||||||
Severity: | enhancement | ||||||||
Priority: | P3 | CC: | Lars.Vogel, loskutov, mistria, nobody, psuzzi | ||||||
Version: | 4.7 | Keywords: | helpwanted | ||||||
Target Milestone: | --- | ||||||||
Hardware: | All | ||||||||
OS: | All | ||||||||
Whiteboard: | |||||||||
Bug Depends on: | |||||||||
Bug Blocks: | 511269 | ||||||||
Attachments: |
|
Description
Nobody - feel free to take it
2016-10-28 11:21:40 EDT
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. |