From 94ba49f66ae87b3aa18201b8b9b8baee4888bb05 Mon Sep 17 00:00:00 2001
From: jprocter <jprocter@compbio.dundee.ac.uk>
Date: Wed, 17 Aug 2011 13:04:37 +0100
Subject: [PATCH] fix for JAL-888

---
 src/jalview/gui/Preferences.java |    1 +
 1 file changed, 1 insertion(+)

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)
     {
-- 
1.7.10.2