Merge pull request #4 from Manindra29/master

benfry · benfry · commit 90eae787d391 · 2013-02-01T06:45:22.000-08:00
textarea painter update bug fix.
diff --git a/experimental/src/processing/mode/experimental/ErrorCheckerService.java b/experimental/src/processing/mode/experimental/ErrorCheckerService.java
@@ -243,6 +243,8 @@ public void run() {
       if (pauseThread)
         continue;
 
+      updatePaintedThingy();
+      
       if(textModified.get() == 0)
     	  continue;
       
@@ -281,7 +283,7 @@ private boolean checkCode() {
       updateErrorTable();
       editor.updateErrorBar(problemsList);
       updateEditorStatus();
-      updateTextAreaPainter();
+      // updatePaintedThingy();
       int x = textModified.get();
       //System.out.println("TM " + x);
       if(x>=3){
@@ -673,15 +675,14 @@ synchronized public void updateErrorTable() {
   /**
    * Repaints the textarea if required
    */
-  public void updateTextAreaPainter() {
-	// TODO: Make this function of some use
+  public void updatePaintedThingy() {
     editor.getTextArea().repaint();
+    updateEditorStatus();
     currentTab = editor.getSketch().getCodeIndex(
         editor.getSketch().getCurrentCode());
     if (currentTab != lastTab) {
       lastTab = currentTab;
-      // editor.getTextArea().repaint();
-      // System.out.println("1 Repaint " + System.currentTimeMillis());
+      editor.updateErrorBar(problemsList);      
       return;
     }
 
