git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1a5858) | patch
Return if negative width, ie alignment deleted
authoramwaterhouse <Andrew Waterhouse>
Wed, 25 Oct 2006 14:57:37 +0000 (14:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 25 Oct 2006 14:57:37 +0000 (14:57 +0000)
commitf48c76a5fec4cbe253351bcdebaca4bcb09d98a5
tree68b3d98e2f2a8591b0eea1b7a21a7c19fb925889tree | snapshot
parentd1a58585358deed317674daeeac5fb5be66637abcommit | diff
Return if negative width, ie alignment deleted
src/jalview/gui/AlignViewport.java diff | blob | history