From: SourceForge.net <no...@so...> - 2013-01-30 17:24:18
|
Plugin Bugs item #3602659, was opened at 2013-01-30 06:50 Message generated for change (Comment added) made by daleanson You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3602659&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Matthieu Casanova (kpouer) >Assigned to: Dale Anson (daleanson) Summary: PMD plugin must not add itself to the status bar Initial Comment: The PMD plugin is adding itself to the statusbar at every start, it should not do that, especially if I removed it. ---------------------------------------------------------------------- >Comment By: Dale Anson (daleanson) Date: 2013-01-30 09:24 Message: I think this is more or less fixed in svn already. I haven't had time to look in to the task manager api yet. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2013-01-30 08:40 Message: PMD should use the Task Monitor instead of having its own progress bar. But if it must keep its own bar, there should be some hovertip indicating what it is. and it should always be hidden at 0% ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3602659&group_id=588 |