Editor: force setting text area content in event dispatcher thread

Federico Fissore · Federico Fissore · commit a9d10e069d97 · 2015-07-08T16:43:58.000+02:00
diff --git a/app/src/processing/app/Sketch.java b/app/src/processing/app/Sketch.java
@@ -999,7 +999,7 @@ private void setCurrentCode(int which, boolean forceUpdate) {
     current = (SketchCodeDocument) data.getCode(which).getMetadata();
     currentIndex = which;
 
-    editor.setCode(current);
+    SwingUtilities.invokeLater(() -> editor.setCode(current));
 
     editor.header.rebuild();
   }

Original file line number	Diff line number	Diff line change
`@@ -999,7 +999,7 @@ private void setCurrentCode(int which, boolean forceUpdate) {`
`999`	`999`	`current = (SketchCodeDocument) data.getCode(which).getMetadata();`
`1000`	`1000`	`currentIndex = which;`
`1001`	`1001`
`1002`		`- editor.setCode(current);`
	`1002`	`+ SwingUtilities.invokeLater(() -> editor.setCode(current));`
`1003`	`1003`
`1004`	`1004`	`editor.header.rebuild();`
`1005`	`1005`	`}`