Community
Participate
Working Groups
The filter on the log view should be something you can toggle on and off. Jacek :)?
+1. I've never used that filter in the last few weeks, and I would appreciate if I could regain that real estate.
Jacek, one of the goals in PDE is to keep Markus happy, can you look at this for M4 :)?
+1, I never use the filter either...its too bad one of the goals of PDE is not to keep me happy as well...sigh
Mike, you're welcome to contribute a patch as I think Jacek is sleeping in Poland now.
Created attachment 82373 [details] fix I would like nothing more than to provide a patch for my good friends at PDE :)
nice!
Nice, I just made some minor changes to catch some corner cases.
Created attachment 82395 [details] org.eclipse.ui.views.log.patch
Created attachment 82396 [details] mylyn/context/zip
thanks again!