merge
[jalview.git] / src / jalview / appletgui / TitledPanel.java
2015-01-22 Charles OfoegbuJAL-1553 added applet support for the select-column...