From ed7a3a2a726179f6d814533dfd49717ec4df0c32 Mon Sep 17 00:00:00 2001 From: SiboVG Date: Fri, 7 Apr 2023 08:19:55 +0200 Subject: [PATCH] Re-open prefs dialog after preferences reset --- .../gui/dialogs/preferences/GeneralPreferencesPanel.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java b/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java index 484c0b9b4..b06a282c3 100644 --- a/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java +++ b/swing/src/net/sf/openrocket/gui/dialogs/preferences/GeneralPreferencesPanel.java @@ -291,6 +291,12 @@ public class GeneralPreferencesPanel extends PreferencesPanel { trans.get("pref.dlg.clearCachedPreferences.title"), JOptionPane.YES_NO_OPTION, JOptionPane.WARNING_MESSAGE); if (resultYesNo == JOptionPane.YES_OPTION) { preferences.clearPreferences(); + SwingUtilities.invokeLater(new Runnable() { + @Override + public void run() { + PreferencesDialog.showPreferences(parent.getParentFrame()); // Refresh the preferences dialog + } + }); } } });