Package javax.swing.text.Highlighter

Examples of javax.swing.text.Highlighter.Highlight

289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
      setVisible(false, false);
    }

    int dot = tc.getCaretPosition();
    int selStart = tc.getSelectionStart()-1; // Workaround for Java Highlight issues.
    Highlight currentPrev = null;
    int pos = 0;
    Highlighter h = tc.getHighlighter();
    Highlight[] highlights = h.getHighlights();
    for (int i=0; i<highlights.length; i++) {
      Highlight hl = highlights[i];
      if (hl.getPainter()==p) { // Only way to identify our own highlights
        if (currentPrev==null || currentPrev.getStartOffset()>=dot ||
            (hl.getStartOffset()<selStart &&
            hl.getStartOffset()>currentPrev.getStartOffset())) {
          currentPrev = hl;
          pos = i;
        }
      }
    }
View Full Code Here
441
442
443
444
445
446
447
448
449
450
451
452
    }
    int index = -1;

    List paramHighlights = getParameterHighlights();
    for (int i=0; i<paramHighlights.size(); i++) {
      Highlight h = (Highlight)paramHighlights.get(i);
      if (dot>=h.getStartOffset() && dot<h.getEndOffset()) {
        index = i;
        break;
      }
    }
View Full Code Here
580
581
582
583
584
585
586
587
588
589
590
591
592
593
      List paramHighlights = getParameterHighlights();
      if (paramHighlights==null || paramHighlights.size()==0) {
        return null;
      }
      for (int i=0; i<paramHighlights.size(); i++) {
        Highlight h = (Highlight)paramHighlights.get(i);
        if (offs>=h.getStartOffset() && offs<=h.getEndOffset()) {
          int start = h.getStartOffset() + 1;
          int len = h.getEndOffset() - start;
          JTextComponent tc = ac.getTextComponent();
          Document doc = tc.getDocument();
          try {
            return doc.getText(start, len);
          } catch (BadLocationException ble) {
View Full Code Here
47
48
49
50
51
52
53
54
55
56
   */
  public static boolean isInHighlight(MouseEvent e, JTextField label, Highlighter h) {
    Highlight[] hls = h.getHighlights();
    if(hls == null || hls.length == 0)
      return false;
    Highlight hl = hls[0];
    FontMetrics fm = label.getFontMetrics(label.getFont());
    int offset = getCharOffset(fm, label.getText(), e.getX());
    return hl.getStartOffset() <= offset && offset < hl.getEndOffset();
  }
View Full Code Here
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
        final int i = element.getStartOffset();
        final int j = element.getEndOffset();
        final Highlighter highlighter = jText.getHighlighter();
        final Highlight[] highlights = highlighter.getHighlights();
        for (int k = highlights.length; --k >= 0;) {
          final Highlight highlight = highlights[k];
          final int hlStartOffset = highlight.getStartOffset();
          final int hlEndOffset = highlight.getEndOffset();
          if ((i <= hlStartOffset && hlStartOffset <= j) || (i <= hlEndOffset && hlEndOffset <= j)) {
            if (highlight.getPainter() == painter) {
              highlighter.removeHighlight(highlight);
            }
          }
        }
      }
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
            int i = element.getStartOffset();
            int j = element.getEndOffset();
            Highlighter highlighter = jText.getHighlighter();
            Highlight[] highlights = highlighter.getHighlights();
            for( int k = highlights.length; --k >= 0; ) {
                Highlight highlight = highlights[k];
                int hlStartOffset = highlight.getStartOffset();
                int hlEndOffset = highlight.getEndOffset();
                if( (i <= hlStartOffset && hlStartOffset <= j) ||
                    (i <= hlEndOffset && hlEndOffset <= j) ) {
                    if( highlight.getPainter() == painter ) {
                        highlighter.removeHighlight( highlight );
                    }
                }
            }
View Full Code Here
566
567
568
569
570
571
572
573
574
575
         * @param rightPad characters to pad on the right side
         */
        void padHighlights(int leftPad, int rightPad) {
           
            for (int i = 0; i < highlights.size(); i ++) {
                Highlight highlight = (Highlight)highlights.get(i);
                Highlight newHighlight = getPaddedHighlight(highlight, leftPad, rightPad);
                highlights.set(i, newHighlight);
            }
        }
View Full Code Here
582
583
584
585
586
587
588
589
590
591
592
593
         * @param leftPad characters to pad on the left side
         * @param rightPad characters to pad on the right side
         */
        void padHighlight(int highlightPos, int leftPad, int rightPad) {
            for (int i = 0; i < highlights.size(); i ++) {
                Highlight highlight = (Highlight)highlights.get(i);
                if ((highlight.getStartOffset() <= highlightPos) && (highlightPos <= highlight.getEndOffset())) {
                    Highlight newHighlight = getPaddedHighlight(highlight, leftPad, rightPad);
                    highlights.set(i, newHighlight);
                }
            }
        }
View Full Code Here
TOP

Related Classes of javax.swing.text.Highlighter.Highlight

  • com.inet.jortho.AutoSpellChecker
  • edu.stanford.nlp.trees.tregex.gui.HighlightUtils
  • org.fife.ui.autocomplete.ParameterizedCompletionDescriptionToolTip
  • org.fife.ui.autocomplete.ParameterizedCompletionDescriptionToolTip$ClosingAction
  • org.openquark.gems.client.caleditor.AdvancedCALEditor$SymbolHighlighter
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.