From f12a42bdfb9eb815b0f6a7b030e4060a3bbd44e9 Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Fri, 16 Oct 2015 17:59:37 +0200
Subject: [PATCH] Add error checker document listeners to all tabs

---
 java/src/processing/mode/java/JavaEditor.java | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
index 2c6878815..c8e8a57c1 100644
--- a/java/src/processing/mode/java/JavaEditor.java
+++ b/java/src/processing/mode/java/JavaEditor.java
@@ -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();