editor status repaint

This commit is contained in:
Manindra Moharana
2013-02-01 20:11:15 +05:30
parent ac9e62462e
commit 7ced2a6a9e
@@ -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;
}