From d35615977a165ed5a0710e5f747218d03499cd73 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Thu, 21 Apr 2011 16:55:54 +0000
Subject: [PATCH] JAL-641 patch

---
 src/jalview/gui/ViewSelectionMenu.java |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java
index b3ac405..f58a816 100644
--- a/src/jalview/gui/ViewSelectionMenu.java
+++ b/src/jalview/gui/ViewSelectionMenu.java
@@ -20,6 +20,8 @@ import javax.swing.event.MenuListener;
  * dialog/menu which allows the user to select/deselect specific views from a
  * list of associated views.
  * 
+ * Includes patches related to JAL-641
+ * 
  * @author JimP
  * 
  */
-- 
1.7.10.2