patch for JAL-733
authorjprocter <Jim Procter>
Thu, 21 Apr 2011 16:54:09 +0000 (16:54 +0000)
committerjprocter <Jim Procter>
Thu, 21 Apr 2011 16:54:09 +0000 (16:54 +0000)
commite0edfabf5128547419e2fd192e98c74fd0f81faa
tree9d5f5358411f6f468c3f3c742059e5c5f5649ab0
parent66616c7a1c2e1d72e98573258b14cd23b5e45ea7
patch for JAL-733
src/jalview/gui/ViewSelectionMenu.java