public void highlight(JTextComponent textComp, String pattern) { if (pattern.isEmpty()) { textComp.getHighlighter().removeAllHighlights(); return; } try { Highlighter hilite = textComp.getHighlighter(); hilite.removeAllHighlights(); javax.swing.text.Document doc = textComp.getDocument(); String text = doc.getText(0, doc.getLength()); int pos = 0; if (!check.isSelected()) { pattern = pattern.toLowerCase(); text = text.toLowerCase(); } // Search for pattern while ((pos = text.indexOf(pattern, pos)) >= 0) { // Create highlighter using private painter and apply around // pattern hilite.addHighlight(pos, pos + pattern.length(), painter); pos += pattern.length(); } } catch (Exception e) { new the.bytecode.club.bytecodeviewer.api.ExceptionUI(e); } }
public void mouseReleased(MouseEvent me) { try { JTextComponent c = ((JTextComponent) me.getSource()); Object obj = c.getHighlighter().addHighlight(0, 0, painter); c.putClientProperty(LINE_HIGHLIGHT, obj); } catch (BadLocationException ex) { } }
/** * Remove all the Highlights from a JTextComponent * * @param component Instance of JTextComponent */ public void removeHighlights(JTextComponent component) { Highlighter hilite = component.getHighlighter(); Highlighter.Highlight[] hilites = hilite.getHighlights(); for (int i = 0; i < hilites.length; i++) { if (hilites[i].getPainter() instanceof HighlightText) { hilite.removeHighlight(hilites[i]); } } }
/** * Highlight a string in a JTextComponent * * @param component Instance of JTextComponent * @param start Start position to be highlighted * @param end End position to be highlighted */ public void highlightFromTo(JTextComponent component, int start, int end) { try { Highlighter hilite = component.getHighlighter(); hilite.addHighlight(start, end, this); } catch (BadLocationException e) { System.out.println(e.getMessage()); System.err.println(e.getMessage()); } }
public void clear(JTextComponent comp) { Highlighter h = comp.getHighlighter(); for (Object o : objects) { h.removeHighlight(o); } objects.clear(); }
// Installs CurrentLineHilighter for the given JTextComponent public static void install(JTextComponent c) { try { Object obj = c.getHighlighter().addHighlight(0, 0, painter); c.putClientProperty(LINE_HIGHLIGHT, obj); c.addCaretListener(caretListener); c.addMouseListener(mouseListener); } catch (BadLocationException ex) { } }
private void paintHighlights(Graphics g, Shape shape) { if (container instanceof JTextComponent) { JTextComponent tc = (JTextComponent) container; Highlighter h = tc.getHighlighter(); if (h instanceof LayeredHighlighter) { ((LayeredHighlighter) h) .paintLayeredHighlights(g, getStartOffset(), getEndOffset(), shape, tc, this); } } }
/** * Highlight a string in a JifTextComponent * * @param component Instance of JifTextComponent * @param pattern String to be highlighted */ public void highlight(JTextComponent component, String pattern) { try { Highlighter hilite = component.getHighlighter(); String text = jif.getText(); int pos = 0; while ((pos = text.indexOf(pattern, pos)) >= 0) { hilite.addHighlight(pos, pos + pattern.length(), this); pos += pattern.length(); } } catch (BadLocationException e) { System.out.println(e.getMessage()); System.err.println(e.getMessage()); } }
/** * Evidenzia le parole di un testo * * @param jtc JTextComponent da modificare * @param al ArrayList contententi le stringa da evidenziare * @return jtc JTextComponent modificato */ private JTextComponent setHighlightText(JTextComponent jtc, ArrayList<String> al) { try { Highlighter hilite = jtc.getHighlighter(); Document doc = jtc.getDocument(); String text = doc.getText(0, doc.getLength()); int pos = 0; for (int i = 0; i < al.size(); i++) { while ((pos = text.indexOf(al.get(i), pos)) >= 0) { if (text.charAt(pos + al.get(i).length()) == ' ' && text.charAt(pos - 1) == ' ') hilite.addHighlight(pos, pos + al.get(i).length(), highlightPainter[0]); pos += al.get(i).length(); } } } catch (BadLocationException e) { System.out.println("Exception tabTextFile: " + e.getMessage()); return null; } return jtc; }
public void addHilight(JTextComponent comp, int fromOffset, int toOffset) throws BadLocationException { objects.add(comp.getHighlighter().addHighlight(fromOffset, toOffset, this)); }