Community
Participate
Working Groups
The Problems view allows deleting markers, individual or selected group. However, when there are a few thousands needed to be deleted it is cumbersome to do so. Is it possible to add "Delete" item in context menu for severity group (Errors/Warnings/Infos) to be able to delete all in the group?
Well I guess "helpwanted" means no hope unless me does that. Could you give any pointers where the code that should be enhanced is located?
(In reply to comment #1) > Could you give any > pointers where the code that should be enhanced is located? The changes would have to be done in the org.eclipse.ui.ide bundle. You'd have to either extend the existing marker deletion handler or create a new handler for deleting marker groups. http://wiki.eclipse.org/Platform_UI/How_to_Contribute
And the plugin.xml will contain examples of the current marker command -> marker handler, and adding them to the different view menus. PW
Created attachment 207246 [details] patch OK, how about this patch? BTW, thanks for the pointers.
Andrew, have you looked at the "Configure Contents" dialog? (Click on the triangle button in the corner of the view's toolbar.) At allows you to create configuration to filter out all possible groups - both using severity (Error/Warning/Log) and using marker types. It seems like it should be a more scalable solution to limiting output in this view. Essentially, it is the same functionality as "remove group of markers" except that is can be saved to be applied to the next session and allows fine-tuning. Would that work for you, and if not, could you describe why?
I am familiar with the "Configure Contents" dialog and use it when I want to view filtered markers. But this bug is about different problem. My problem is that as time goes on (while using a bunch of tools based on CDT which generate markers) the workspace accumulates a big number of unneeded markers. Why would I want to hide markers that became garbage? Besides it is more time-consuming to filter out unneeded patterns and error-prone. I am opting for something as simple and straightforward as hitting "Delete" on the category.
+1 This is a request I've had time and time again. Being able to delete all markers would really help users when there are 10s of thousands of them. Also the configure contents dialog is somewhat complicated (and several click too many to get to). I've shown users it in the past, but I don't actually know anyone who uses it day-to-day to manage their markers view -- it's just too much effort.
(In reply to comment #7) > +1 This is a request I've had time and time again. All right, I applied the patch with some minor changes, most notable copyright updates and changing supported types on the "org.eclipse.ui.ide.editable" property tester: <propertyTester ... type="org.eclipse.ui.internal.views.markers.MarkerSupportItem"> </propertyTester> 3.8: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?h=R3_development&id=77103f0a32e6b3cf691de4c18bf7aa32603bd3b9 4.2: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=7102254b013de0590e4a3759e7de21f4dca38f6f Thanks Andrew!
Thanks for looking at the patch and applying, and to James for support. It's my first one for the platform which managed to get committed as far as I recall.
