From: jprocter Date: Thu, 21 Apr 2011 16:55:54 +0000 (+0000) Subject: JAL-641 patch X-Git-Tag: Release_2_7~212 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=d35615977a165ed5a0710e5f747218d03499cd73;p=jalview.git JAL-641 patch --- 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 * */