fixes from Manindra (issue #1449)

This commit is contained in:
benfry
2012-12-08 19:35:26 +00:00
parent c3e8641219
commit bb18fc230c
4 changed files with 25 additions and 20 deletions

View File

@@ -378,6 +378,7 @@ public class DebugEditor extends JavaEditor implements ActionListener {
errorCheckerService.updateErrorTable();
errorCheckerService.updateEditorStatus();
getTextArea().repaint();
errorBar.repaint();
} else {
errorCheckerService.resumeThread();
System.out.println(thisEditor.getSketch().getName()