From ac9e62462eb7ba9b7271ecbc7e354f1c9b6a9d54 Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Fri, 1 Feb 2013 20:04:50 +0530 Subject: [PATCH 1/2] textarea painter bug fix. --- .../mode/experimental/ErrorCheckerService.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/experimental/src/processing/mode/experimental/ErrorCheckerService.java b/experimental/src/processing/mode/experimental/ErrorCheckerService.java index c3419aacb..69803cc65 100755 --- a/experimental/src/processing/mode/experimental/ErrorCheckerService.java +++ b/experimental/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; } From 7ced2a6a9e3bfa5fad1a9a97ea462ed640c3ca4a Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Fri, 1 Feb 2013 20:11:15 +0530 Subject: [PATCH 2/2] editor status repaint --- .../src/processing/mode/experimental/ErrorCheckerService.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/experimental/src/processing/mode/experimental/ErrorCheckerService.java b/experimental/src/processing/mode/experimental/ErrorCheckerService.java index 69803cc65..b196bbf26 100755 --- a/experimental/src/processing/mode/experimental/ErrorCheckerService.java +++ b/experimental/src/processing/mode/experimental/ErrorCheckerService.java @@ -677,12 +677,12 @@ public class ErrorCheckerService implements Runnable{ */ public void updatePaintedThingy() { editor.getTextArea().repaint(); + updateEditorStatus(); currentTab = editor.getSketch().getCodeIndex( editor.getSketch().getCurrentCode()); if (currentTab != lastTab) { lastTab = currentTab; - editor.updateErrorBar(problemsList); - updateEditorStatus(); + editor.updateErrorBar(problemsList); return; }