Commit [a77f39] Maximize Restore History

Adjustment to better hide and show progress bar when checking a directory. Still need to look into jEdit's task monitor API, but this should be fine in the mean time.

Dale Anson Dale Anson 2013-01-24

changed src/net/sourceforge/pmd/jedit/PMDJEditPlugin.java
changed src/net/sourceforge/pmd/jedit/PMDProgressWidgetFactory.java
src/net/sourceforge/pmd/jedit/PMDJEditPlugin.java Diff Switch to side-by-side view
Loading...
src/net/sourceforge/pmd/jedit/PMDProgressWidgetFactory.java Diff Switch to side-by-side view
Loading...