From 135b6828ee138e1269b6058d4eefcce9343d16b3 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Wed, 19 Aug 2015 16:30:03 -0400 Subject: [PATCH] possibly cancel out-of-control Timer --- app/src/processing/app/ui/Editor.java | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java index 944283daf..8c0586521 100644 --- a/app/src/processing/app/ui/Editor.java +++ b/app/src/processing/app/ui/Editor.java @@ -153,7 +153,6 @@ public abstract class Editor extends JFrame implements RunnerListener { Image backgroundGradient; -// protected Editor(final Base base, String path, int[] location, final Mode mode) { protected Editor(final Base base, String path, final EditorState state, final Mode mode) throws EditorException { super("Processing", state.checkConfig()); @@ -2026,6 +2025,7 @@ public abstract class Editor extends JFrame implements RunnerListener { return endUndoEvent != null; } + void startTimerEvent() { endUndoEvent = new TimerTask() { public void run() { @@ -2037,6 +2037,7 @@ public abstract class Editor extends JFrame implements RunnerListener { timer.purge(); } + void endTextEditHistory() { if (endUndoEvent != null) { endUndoEvent.cancel(); @@ -2045,6 +2046,13 @@ public abstract class Editor extends JFrame implements RunnerListener { stopCompoundEdit(); } + + public void removeNotify() { + timer.cancel(); + super.removeNotify(); + } + + // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .