[ jEdit-commits ] SF.net SVN: jedit:[17761] jEdit/trunk/org/gjt/sp

[<kp...@us...>]

Revision: 17761
          http://jedit.svn.sourceforge.net/jedit/?rev=17761&view=rev
Author:   kpouer
Date:     2010-05-07 14:36:47 +0000 (Fri, 07 May 2010)

Log Message:
-----------
more task monitoring

Modified Paths:
--------------
    jEdit/trunk/org/gjt/sp/jedit/gui/TaskMonitor.java
    jEdit/trunk/org/gjt/sp/util/Task.java

Modified: jEdit/trunk/org/gjt/sp/jedit/gui/TaskMonitor.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/gui/TaskMonitor.java	2010-05-07 14:12:45 UTC (rev 17760)
+++ jEdit/trunk/org/gjt/sp/jedit/gui/TaskMonitor.java	2010-05-07 14:36:47 UTC (rev 17761)
@@ -76,13 +76,16 @@
 
 	public void statusUpdated(Task task)
 	{
+		repaint();
 	}
 
 	public void maximumUpdated(Task task)
 	{
+		repaint();
 	}
 
 	public void valueUpdated(Task task)
 	{
+		repaint();
 	}
 }

Modified: jEdit/trunk/org/gjt/sp/util/Task.java
===================================================================
--- jEdit/trunk/org/gjt/sp/util/Task.java	2010-05-07 14:12:45 UTC (rev 17760)
+++ jEdit/trunk/org/gjt/sp/util/Task.java	2010-05-07 14:36:47 UTC (rev 17761)
@@ -102,6 +102,6 @@
 	@Override
 	public String toString()
 	{
-		return "Task[" + state + ',' + status + ']';
+		return "Task[" + state + ',' + status + ',' + value + '/' + maximum + ']';
 	}
 }


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.