X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=b082bc68bec8b03d43eaa78a7e1d7a2249a9fa8f;hb=9d139ca8d1af8f0f2d78193d418ae9e9168a3e8a;hp=ad3c072907489b090876befd4c0958e85cc28c77;hpb=1aa21d01e983854e9dbb1628350ac6976c52430a;p=jalview.git

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