add patch for Play Button not working (issue #688)

This commit is contained in:
Ben Fry
2013-02-03 11:29:58 -05:00
parent 063e66eb36
commit ad38b7d796
2 changed files with 8 additions and 9 deletions

View File

@@ -464,12 +464,11 @@ public class JavaEditor extends Editor {
public void handleRun() {
toolbar.activate(JavaToolbar.RUN);
new Thread(new Runnable() {
public void run() {
prepareRun();
try {
toolbar.activate(JavaToolbar.RUN);
runtime = jmode.handleRun(sketch, JavaEditor.this);
// System.out.println("runtime now " + runtime);
} catch (Exception e) {
@@ -481,12 +480,11 @@ public class JavaEditor extends Editor {
public void handlePresent() {
toolbar.activate(JavaToolbar.RUN);
new Thread(new Runnable() {
public void run() {
prepareRun();
try {
toolbar.activate(JavaToolbar.RUN);
runtime = jmode.handlePresent(sketch, JavaEditor.this);
} catch (Exception e) {
statusError(e);