Merge pull request #4009 from JakubValtar/error-checker-document-listeners

Add error checker document listeners to all tabs
This commit is contained in:
Ben Fry
2015-10-20 09:18:28 -04:00

View File

@@ -142,9 +142,11 @@ public class JavaEditor extends Editor {
{ // Init error checker
errorCheckerService = new ErrorCheckerService(this);
Document currentDocument = currentDocument();
if (currentDocument != null) {
errorCheckerService.addListener(currentDocument);
for (SketchCode code : getSketch().getCode()) {
Document document = code.getDocument();
if (document != null) {
errorCheckerService.addListener(document);
}
}
errorCheckerService.start();
errorCheckerService.request();