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();