This looks like what might work: http://www.java2s.com/Tutorial/Java/0240__Swing/ListingUIDefaultProperties.htm
Jalview could pick up a few other things from this I suspect. j. _______________________________________________ Jalview-dev mailing list [email protected] http://www.compbio.dundee.ac.uk/mailman/listinfo/jalview-dev
