From ac81b0a78434e3fa1a35de46777662db91e7efb0 Mon Sep 17 00:00:00 2001
From: Manindra Moharana <mkmoharana29@gmail.com>
Date: Fri, 1 Feb 2013 20:04:50 +0530
Subject: [PATCH] textarea painter bug fix.

---
 .../mode/experimental/ErrorCheckerService.java        | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/pdex/src/processing/mode/experimental/ErrorCheckerService.java b/pdex/src/processing/mode/experimental/ErrorCheckerService.java
index 3cb40b69a..d10796f52 100755
--- a/pdex/src/processing/mode/experimental/ErrorCheckerService.java
+++ b/pdex/src/processing/mode/experimental/ErrorCheckerService.java
@@ -243,6 +243,8 @@ public class ErrorCheckerService implements Runnable{
       if (pauseThread)
         continue;
 
+      updatePaintedThingy();
+      
       if(textModified.get() == 0)
     	  continue;
       
@@ -281,7 +283,7 @@ public class ErrorCheckerService implements Runnable{
       updateErrorTable();
       editor.updateErrorBar(problemsList);
       updateEditorStatus();
-      updateTextAreaPainter();
+      // updatePaintedThingy();
       int x = textModified.get();
       //System.out.println("TM " + x);
       if(x>=3){
@@ -673,15 +675,14 @@ public class ErrorCheckerService implements Runnable{
   /**
    * Repaints the textarea if required
    */
-  public void updateTextAreaPainter() {
-	// TODO: Make this function of some use
+  public void updatePaintedThingy() {
     editor.getTextArea().repaint();
     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);
+      updateEditorStatus();
       return;
     }