Method selectTaxa

src/figtree/treeviewer/DefaultTreeViewer.java:287–297

Select taxa with a search string matching the currently displayed attribute @param searchType @param searchString @param caseSensitive

(TextSearchType searchType, String searchString, boolean caseSensitive)

     * @param caseSensitive
     */
    public void selectTaxa(TextSearchType searchType, String searchString, boolean caseSensitive) {
        String attributeName = "!name";
        LabelPainter lp = treePane.getTipLabelPainter();
        if (lp != null && lp.isVisible() && lp.getDisplayAttribute() != null) {
            attributeName = lp.getDisplayAttribute();
        }

        selectTaxa(attributeName, searchType, searchString, caseSensitive);

        scrollToSelectedTips();
    }

    public void selectTaxa(String attributeName, TextSearchType searchType, String searchString, boolean caseSensitive) {
        if (treePane.getTree() == null) {