707172737475767778
/** * Gets the search string * @return the search string */ public String getQuery() { Node n = search_tree.getNode(NodeType.FILE_NAME); return (String)n.getKey().getValue(Tree.DATA_KEY); }
8081828384858687
/** * Sets a new search string * @param searchStr the new search string */ public void setQuery(String searchStr) { Node n = search_tree.getNode(NodeType.FILE_NAME); n.getKey().setValue(searchStr); }