From eaeacdad0f2ac747b16145d472287bf338c0106e Mon Sep 17 00:00:00 2001 From: benfry Date: Mon, 12 Jul 2004 20:03:17 +0000 Subject: [PATCH] made export synchronized to perhaps avoid double-clicks --- app/PdeEditor.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/app/PdeEditor.java b/app/PdeEditor.java index 83645d5b9..3eb4d43cb 100644 --- a/app/PdeEditor.java +++ b/app/PdeEditor.java @@ -1357,8 +1357,11 @@ implements MRJAboutHandler, MRJQuitHandler, MRJPrefsHandler /** * Handles calling the export() function on sketch, and * queues all the gui status stuff that comes along with it. + * + * Made synchronized to (hopefully) avoid problems of people + * hitting export twice, quickly, and horking things up. */ - public void handleExport() { + synchronized public void handleExport() { message("Exporting code..."); try { if (sketch.export()) {