From cad74c5f7c45bea227861a10b787341f94752dce Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 19 Feb 2015 13:19:29 +0100
Subject: [PATCH] An undoable action marks the sketh as modified

---
 app/src/processing/app/Editor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 34e1515c9..c0ae487f9 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -1697,6 +1697,7 @@ public class Editor extends JFrame implements RunnerListener {
 
           } else if (undo != null) {
             undo.addEdit(new CaretAwareUndoableEdit(e.getEdit(), textarea));
+            sketch.setModified(true);
             undoAction.updateUndoState();
             redoAction.updateRedoState();
           }