Examples with Element javax.swing.text.Element used on opensource projects

Example 26 with Element

use of javax.swing.text.Element in project SKMCLauncher by SKCraft.

the class LimitLinesDocumentListener method removeFromEnd.

private void removeFromEnd(Document document, Element root) {
    // We use start minus 1 to make sure we remove the newline
    // character of the previous line
    Element line = root.getElement(root.getElementCount() - 1);
    int start = line.getStartOffset();
    int end = line.getEndOffset();
    try {
        document.remove(start - 1, end - start);
    } catch (BadLocationException ble) {
        System.out.println(ble);
    }
}

Example 27 with Element

use of javax.swing.text.Element in project SKMCLauncher by SKCraft.

the class LimitLinesDocumentListener method removeFromStart.

private void removeFromStart(Document document, Element root) {
    Element line = root.getElement(0);
    int end = line.getEndOffset();
    try {
        document.remove(0, end);
    } catch (BadLocationException ble) {
        System.out.println(ble);
    }
}

Example 28 with Element

use of javax.swing.text.Element in project SKMCLauncher by SKCraft.

the class LimitLinesDocumentListener method removeLines.

private void removeLines(DocumentEvent e) {
    // The root Element of the Document will tell us the total number
    // of line in the Document.
    Document document = e.getDocument();
    Element root = document.getDefaultRootElement();
    while (root.getElementCount() > maximumLines) {
        if (isRemoveFromStart) {
            removeFromStart(document, root);
        } else {
            removeFromEnd(document, root);
        }
    }
}

Example 29 with Element

use of javax.swing.text.Element in project sonarqube by SonarSource.

the class TextLineNumber method setPreferredWidth.

/**
   *  Calculate the width needed to display the maximum line number
   */
private void setPreferredWidth() {
    Element root = component.getDocument().getDefaultRootElement();
    int lines = root.getElementCount();
    int digits = Math.max(String.valueOf(lines).length(), minimumDisplayDigits);
    if (lastDigits != digits) {
        lastDigits = digits;
        FontMetrics fontMetrics = getFontMetrics(getFont());
        int width = fontMetrics.charWidth('0') * digits;
        Insets insets = getInsets();
        int preferredWidth = insets.left + insets.right + width;
        Dimension d = getPreferredSize();
        d.setSize(preferredWidth, HEIGHT);
        setPreferredSize(d);
        setSize(d);
    }
}

Example 30 with Element

use of javax.swing.text.Element in project sonarqube by SonarSource.

the class TextLineNumber method caretUpdate.

//
// Implement CaretListener interface
//
@Override
public void caretUpdate(CaretEvent e) {
    // Get the line the caret is positioned on
    int caretPosition = component.getCaretPosition();
    Element root = component.getDocument().getDefaultRootElement();
    int currentLine = root.getElementIndex(caretPosition);
    if (lastLine != currentLine) {
        repaint();
        lastLine = currentLine;
    }
}