jalview.git
19 years agoremoved import jbgui line
amwaterhouse [Thu, 4 Nov 2004 17:51:21 +0000 (17:51 +0000)]
removed import jbgui line

19 years agoPaintRefresher called after tree selection made
amwaterhouse [Tue, 2 Nov 2004 16:12:02 +0000 (16:12 +0000)]
PaintRefresher called after tree selection made

19 years agoAllow colouring of ids from tree selected groups
amwaterhouse [Tue, 2 Nov 2004 16:11:21 +0000 (16:11 +0000)]
Allow colouring of ids from tree selected groups

19 years agoJalview Imported Sources start
amwaterhouse [Tue, 2 Nov 2004 10:46:54 +0000 (10:46 +0000)]
Jalview Imported Sources