From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Wed, 17 Aug 2011 12:04:37 +0000 (+0100)
Subject: fix for JAL-888
X-Git-Tag: Release_2_7~103
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=94ba49f66ae87b3aa18201b8b9b8baee4888bb05;p=jalview.git

fix for JAL-888
---

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index a4de985..9267800 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -503,6 +503,7 @@ public class Preferences extends GPreferences
     try
     {
       wsPrefs.updateWsMenuConfig(true);
+      wsPrefs.refreshWs_actionPerformed(e);
       frame.setClosed(true);
     } catch (Exception ex)
     {