Package javax.swing.text

Examples of javax.swing.text.Segment

193
194
195
196
197
198
199
200
201
202
203
204
        SimSystem.report(e1);
      }

      // only render numbers if showNumbes is true
      if (showNumbers) {
        Segment s =
            new Segment(Integer.toString(i + 1).toCharArray(), 0, Integer
                .toString(i + 1).length());
        int w = Utilities.getTabbedTextWidth(s, g.getFontMetrics(), 0, null, 0);
        Utilities.drawTabbedText(s, getWidth() - w - 3, r.y + r.height
            - g.getFontMetrics().getDescent(), g, null, 0);
      }
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
    if (showIcons) {
      width += iconWidth + 1;
    }
    if (showNumbers) {
      width +=
          Utilities.getTabbedTextWidth(new Segment(Integer.toString(maxLine)
              .toCharArray(), 0, Integer.toString(maxLine).length()),
              getFontMetrics(getFont()), 0, null, 0) + 4;
    }

    // old with so we might be able to skip the revalidating step
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48

  public DocumentWordTokenizer(Document document) {
    this.document = document;
    //Create a text segment over the etire document
    text = new Segment();
    sentanceIterator = BreakIterator.getSentenceInstance();
    try {
      document.getText(0, document.getLength(), text);
      sentanceIterator.setText(text);
      currentWordPos = getNextWordStart(text, 0);
View Full Code Here
197
198
199
200
201
202
203
204
205
206
207
  private int drawText(Graphics g, int x, int y, int p0, int p1,
      boolean selectionMode) throws BadLocationException {
    Graphics2D g2d = (Graphics2D) g;

    // find tokens at position p0 to p1
    Segment s = getLineBuffer();
    int xe = x;
    Font defaultFont = g2d.getFont();
    Color defaultColor = g2d.getColor();

    // could also use SystemColor class
View Full Code Here
390
391
392
393
394
395
396
397
398
399
400
   * @throws BadLocationException
   *           the bad location exception
   */
  private int getOffset(int offset, int p0, int p1) throws BadLocationException {
    // find tokens at position p0 to p1
    Segment s = getLineBuffer();
    int xe = offset;

    if (getGraphics() == null) {
      return 0;
    }
View Full Code Here
488
489
490
491
492
493
494
495
496
497
498
    // determine span from the start of the line
    int tabBase = lineArea.x;
    Element line = map.getElement(lineIndex);
    int p0 = line.getStartOffset();
    Segment s = getLineBuffer();
    doc.getText(p0, pos - p0, s);

    int x = getOffset(tabBase, p0, pos);

    // fill in the results and return
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
        // it might be necessary to retrieve more than one segment
        // depending
        // on how many chars a segment can return without copying
        while (length > 0) {
          try {
            Segment text = new Segment();
            text.setPartialReturn(true);
            document.getText(offset, length, text);
            segments.add(text);

            length -= text.getEndIndex() - text.getBeginIndex();
            offset = text.getEndIndex();
          } catch (BadLocationException e) {
            throw new TextProcessingException(
                "Creating the document reader for the document " + doc
                    + " failed.", e);
          }
View Full Code Here
211
212
213
214
215
216
217
218
219
220
221
      if (segments == null) {
        segments = new ArrayDeque<>();
      }
      segments.clear();
      String s = document.getText(0, document.getLength());
      Segment text = new Segment(s.toCharArray(), 0, s.length());
      segments.add(text);
      if (documentFilter != null) {
        ((AbstractDocument) document).setDocumentFilter(documentFilter
            .getOriginalFilter());
      }
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133

    synchronized void returnPressed() {
        Document doc = getDocument();
        int len = doc.getLength();
        Segment segment = new Segment();
        try {
            doc.getText(outputMark, len - outputMark, segment);
        } catch(javax.swing.text.BadLocationException ignored) {
            ignored.printStackTrace();
        }
        if(segment.count > 0) {
            history.add(segment.toString());
        }
        historyIndex = history.size();
        inPipe.write(segment.array, segment.offset, segment.count);
        append("\n");
        outputMark = doc.getLength();
View Full Code Here
35
36
37
38
39
40
41
42
43
    String s = ""; //$NON-NLS-1$
    try {
      s = source.getParentDocument().get(startOffset, length);
    } catch (BadLocationException e) {
    }
    Segment segment = new Segment(s.toCharArray(), 0, s.length());
    return new SimpleTextSequence(source, segment, 0, segment.count,
        startOffset);
  }
View Full Code Here
TOP

Related Classes of javax.swing.text.Segment

  • br.com.gmartins.simbler.jedit.TextAreaPainter
  • com.GestDB.swing.gestEditor
  • com.sun.swingset3.codeview.SnippetParser
  • com.swabunga.spell.event.DocumentWordTokenizer
  • com.swabunga.spell.swing.autospell.AutoSpellCheckHandler
  • eas.miscellaneous.jedit.JEditTextArea
  • eas.miscellaneous.jedit.SyntaxDocument
  • eas.miscellaneous.jedit.TextAreaPainter
  • edu.umd.cs.findbugs.sourceViewer.DocumentCharacterIterator
  • gnu.testlet.javax.swing.text.DefaultStyledDocument.ElementBuffer.ElementStructure3
    • 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.