eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-06-16 04:26:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #4 from Manindra29/master

Browse Source 
textarea painter update bug fix.
This commit is contained in:
Ben Fry
2013-02-01 06:45:22 -08:00
parent eee6123135 7ced2a6a9e
commit 24088f4fd4
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
experimental/src/processing/mode/experimental/ErrorCheckerService.java
+6 -5
View File
@@ -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();
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;
}