editor status update fix

This commit is contained in:
Manindra Moharana
2013-06-30 02:17:39 +05:30
parent 67d67db602
commit 2d8ceb6088

View File

@@ -249,7 +249,7 @@ public class ErrorCheckerService implements Runnable{
}
updatePaintedThingys();
updateEditorStatus();
if (pauseThread)
continue;
if(textModified.get() == 0)
@@ -717,7 +717,7 @@ public class ErrorCheckerService implements Runnable{
textModified.set(5);
lastTab = currentTab;
editor.getTextArea().repaint();
updateEditorStatus();
editor.statusEmpty();
return;
}