Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#1689 PMD 5.0.1: status bar widget - hide at 0%

closed-duplicate
Dale Anson
None
5
2013-01-30
2013-01-19
Alan Ezust
No

And show a hover-tip explaining what it is when it is not hidden.
It is not obvious what it is for.

Discussion

  • Alan Ezust
    Alan Ezust
    2013-01-30

    • status: open --> closed-duplicate
     
  • Alan Ezust
    Alan Ezust
    2013-01-30

    Duplicate of 3602659