Method isNumericSearchType

src/figtree/treeviewer/FindPanel.java:226–228

()

    }

    public boolean isNumericSearchType() {
        return (type == AnnotationDefinition.Type.REAL || type == AnnotationDefinition.Type.INTEGER);
    }

    public TreeViewer.TextSearchType getTextSearchType() {
        return (TreeViewer.TextSearchType)textSearchCombo.getSelectedItem();