git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e0c372) | patch
Update editMenuBar after alignment changed
authoramwaterhouse <Andrew Waterhouse>
Thu, 2 Nov 2006 15:13:16 +0000 (15:13 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 2 Nov 2006 15:13:16 +0000 (15:13 +0000)
commitb43cedc0630eb10f2414ba940b075c9467bcb3b5
tree833dbd67c911f02f51335a558cac0d32039cb785tree | snapshot
parent5e0c372a53e267a798bdb3e96fe7789a54b89109commit | diff
Update editMenuBar after alignment  changed
src/jalview/gui/AlignmentPanel.java diff | blob | history