Merge pull request #253 from funfried/release/1.15.x

Improved saving options (make use of EDT)
funfried · Feb 16, 2024 · 5142780 · 5142780
2 parents 556aae2 + 47db43b
commit 5142780
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/...tbeans/plugins/external/formatter/ui/options/ExternalFormatterOptionsPanelController.java b/...tbeans/plugins/external/formatter/ui/options/ExternalFormatterOptionsPanelController.java
@@ -14,6 +14,7 @@
 import java.beans.PropertyChangeSupport;
 import java.util.prefs.Preferences;
 
+import javax.swing.SwingUtilities;
 import javax.swing.event.ChangeEvent;
 import javax.swing.event.ChangeListener;
 
@@ -55,8 +56,10 @@ public void update() {
 	 */
 	@Override
 	public void applyChanges() {
-		createOrGetPanel().store();
-		changed = false;
+		SwingUtilities.invokeLater(() -> {
+			createOrGetPanel().store();
+			changed = false;
+		});
 	}
 
 	/**