From 9c2352fa0314e9c9b8c8455e6fa35ab03100e8f9 Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Fri, 19 May 2017 17:33:40 +0200
Subject: [PATCH] Notify Editor from Change Detector to run error check

---
 app/src/processing/app/ui/ChangeDetector.java | 2 ++
 app/src/processing/app/ui/Editor.java         | 2 ++
 java/src/processing/mode/java/JavaEditor.java | 6 ++++++
 3 files changed, 10 insertions(+)

diff --git a/app/src/processing/app/ui/ChangeDetector.java b/app/src/processing/app/ui/ChangeDetector.java
index be48d66e0..2bad61f80 100644
--- a/app/src/processing/app/ui/ChangeDetector.java
+++ b/app/src/processing/app/ui/ChangeDetector.java
@@ -218,6 +218,8 @@ public class ChangeDetector implements WindowFocusListener {
       sketch.handleNextCode();
       sketch.handlePrevCode();
       editor.repaintHeader();
+
+      editor.sketchChanged();
     }
 
   }
diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java
index 262ff8903..4cdc9817a 100644
--- a/app/src/processing/app/ui/Editor.java
+++ b/app/src/processing/app/ui/Editor.java
@@ -1125,6 +1125,8 @@ public abstract class Editor extends JFrame implements RunnerListener {
 
   public void codeFolderChanged() { }
 
+  public void sketchChanged() { }
+
 
   // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
 
diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
index e340ee7ac..562efca8a 100644
--- a/java/src/processing/mode/java/JavaEditor.java
+++ b/java/src/processing/mode/java/JavaEditor.java
@@ -1274,6 +1274,12 @@ public class JavaEditor extends Editor {
   }
 
 
+  @Override
+  public void sketchChanged() {
+    preprocessingService.notifySketchChanged();
+  }
+
+
   public void statusError(String what) {
     super.statusError(what);
 //    new Exception("deactivating RUN").printStackTrace();