Disable hide regions
authoramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 09:32:51 +0000 (09:32 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 09:32:51 +0000 (09:32 +0000)
commitaa397119f56e13b217d0a55d19dd1026118eddce
treec7b345c3462cc2f4676524479debe4c48f3e3b33
parent14bad6b2390493bb6ad030c6f3ea7cde4cba1b53
Disable hide regions
src/jalview/gui/PopupMenu.java