X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FPreferences.java;h=09f36860b77350b1e3abfff11e0e1c5f94a2ce21;hb=35bef7106ec457c8240eb0656b0901c77cf362da;hp=ab4f94fc4254bfe13ba1250189a220019c2fbcba;hpb=4167762603a83df3e00713307e6522bb027bdd59;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);