X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=09f36860b77350b1e3abfff11e0e1c5f94a2ce21;hb=13317fa1bc7bf640dc1967ce4438676e89390ad3;hp=ab4f94fc4254bfe13ba1250189a220019c2fbcba;hpb=b8eecc11ecdeebc95f00014b5e588a583211ea32;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index ab4f94f..09f3686 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -590,9 +590,8 @@ public class Preferences extends GPreferences
 
     dasSource.saveProperties(Cache.applicationProperties);
     wsPrefs.updateAndRefreshWsMenuConfig(false);
-
     Cache.saveProperties();
-
+    Desktop.instance.doConfigureStructurePrefs();
     try
     {
       frame.setClosed(true);