editor status repaint

This commit is contained in:
Manindra Moharana
2013-02-01 20:11:15 +05:30
parent ac81b0a784
commit 922077f36c

View File

@@ -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;
}