Only adds history item if size>0
authoramwaterhouse <Andrew Waterhouse>
Thu, 26 Oct 2006 13:09:47 +0000 (13:09 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 26 Oct 2006 13:09:47 +0000 (13:09 +0000)
commitf27df5aa83fc925caead09b59bb25c11c6d675c4
treed1b4b99296f3b8fa5f1836fa9578a940e4d4aa45
parent7931bc3242f86a9fbd36f9910ba5fd3551bc6e0b
Only adds history item if size>0
src/jalview/gui/AlignFrame.java