JAL-641 patch

diff --git a/src/jalview/gui/ViewSelectionMenu.java b/src/jalview/gui/ViewSelectionMenu.java
index b3ac405..f58a816 100644 (file)
--- 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
  * 
  */