Improved saving options (make use of EDT)

funfried · Feb 16, 2024 · 47db43b · 47db43b
1 parent 8d4c410
commit 47db43b
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;
+		});
 	}
 
 	/**