fix unselectable tree leaf nodes when node mapping changes after aligmment update...
authorjprocter <Jim Procter>
Tue, 21 Nov 2006 16:31:13 +0000 (16:31 +0000)
committerjprocter <Jim Procter>
Tue, 21 Nov 2006 16:31:13 +0000 (16:31 +0000)
commitc770c52fe1c84d6b41ba1f5af352245f6b1c937c
tree1d02f835320a8de8150a8329fe5be9447140730c
parentbc39ee8df9694f820a8a8bd2430f527b87c07f31
fix unselectable tree leaf nodes when node mapping changes after aligmment update (and some null object exceptions from property update)
src/jalview/analysis/NJTree.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/TreePanel.java