if (!leaf) { if (expanded) { setIcon(TavernaIcons.folderOpenIcon); } else { setIcon(TavernaIcons.folderClosedIcon); "").replaceAll("</{0,1}html>", ""); if (plain) { setText(stripped); } else { if (pattern != null && stripped.toLowerCase().matches(pattern)) { setText("<html><font color=\"red\">" + stripped + "</font></html>"); } else if (userObject.toString().indexOf("<") > -1 && userObject.toString().indexOf("<html>") == -1) { setText("<html><font color=\"black\">" + userObject.toString() + "</font></html>"); } else { setText(userObject.toString());
/** * Set the pattern to highlight */ public void setPattern(String pattern) { this.pattern = (pattern == null) ? "" : pattern; // If there's a colouring renderer defined then use it // to highlight the term selected. if (getCellRenderer() instanceof NodeColouringRenderer) { NodeColouringRenderer renderer = (NodeColouringRenderer) getCellRenderer(); if (this.pattern.equals("")) { renderer.setPattern(null); } else { renderer.setPattern(".*" + this.pattern.toLowerCase() + ".*"); } repaint(); } }
boolean sel, boolean expanded, boolean leaf, int row, boolean hasFocus) { super.getTreeCellRendererComponent(tree, value, sel, expanded, leaf, row, hasFocus); Object userObject = ((DefaultMutableTreeNode) value).getUserObject();