Examples of org.apache.pivot.wtk.text.Element$NodeOffsetComparator

org.apache.pivot.wtk.text.Element
Comparator used to perform binary searches on child nodes.

            // off the first part of the span-node, and apply the style to it
            int intersectionLength = selectionSpan.end - textSpan.start;
            TextSpan node1 = spanNode.getRange(0, intersectionLength);
            styleApplicator.apply(node1);
            Node node2 = spanNode.getRange(intersectionLength, characterCount - intersectionLength);
            Element parent = spanNode.getParent();
            int index = parent.remove(spanNode);
            parent.insert(node1, index);
            parent.insert(node2, index + 1);
        } else if (selectionSpan.end >= textSpan.end) {
            // if the selection covers the last part of the span-node, split off
            // the last part of the span-node, and apply the style to it
            int intersectionStart = selectionSpan.start - textSpan.start;
            TextSpan part1 = spanNode.getRange(0, intersectionStart);
            TextSpan part2 = spanNode.getRange(intersectionStart,
                characterCount - intersectionStart);


            styleApplicator.apply(part2);


            Element parent = spanNode.getParent();
            int index = parent.remove(spanNode);
            parent.insert(part1, index);
            parent.insert(part2, index + 1);
        } else {
            // if the selection covers an internal part of the span-node, split
            // the
            // span-node into 3 parts, and apply the style to the second part
            int part2Start = selectionSpan.start - textSpan.start;
            int part2End = selectionSpan.end - textSpan.start;
            TextSpan part1 = spanNode.getRange(0, part2Start);
            TextSpan part2 = spanNode.getRange(part2Start, part2End
                - part2Start);
            TextSpan part3 = spanNode.getRange(part2End, characterCount
                - part2End);


            styleApplicator.apply(part2);


            Element parent = spanNode.getParent();
            int index = parent.remove(spanNode);
            parent.insert(part1, index);
            parent.insert(part2, index + 1);
            parent.insert(part3, index + 2);
        }
    }

View Full Code Here

        // don't worry about the text-nodes that are children of Span nodes.
        if (node instanceof TextSpan) {
            return;
        }
        if (node instanceof org.apache.pivot.wtk.text.Element) {
            Element element = (Element)node;
            for (Node child : element) {
                nodeList.add(child);
                collectNodes(child, nodeList);
            }
        }

View Full Code Here


    @Override
    protected void attach() {
        super.attach();


        Element element = (Element)getNode();
        element.getElementListeners().add(this);


        // Attach child node views
        for (Node node : element) {
            add(getTextPaneSkin().createNodeView(node));
        }

View Full Code Here

        }
    }


    @Override
    protected void detach() {
        Element element = (Element)getNode();
        element.getElementListeners().remove(this);


        // Detach child node views
        for (TextPaneSkinNodeView nodeView : this) {
            nodeView.detach();
        }

View Full Code Here

    }


    private Font getEffectiveFont() {
        Font font = null;
        // run up the tree until we find an element's style to apply
        Element element = getNode().getParent();
        while (element != null) {
            font = element.getFont();
            if (font != null) {
                break;
            }


            element = element.getParent();
        }
        // if we find nothing, use the default font
        if (element == null) {
            font = getTextPaneSkin().getFont();
        }

View Full Code Here

    }


    private Color getEffectiveForegroundColor() {
        Color foregroundColor = null;
        // run up the tree until we find an element's style to apply
        Element element = getNode().getParent();
        while (element != null) {
            foregroundColor = element.getForegroundColor();
            if (foregroundColor != null) {
                break;
            }


            element = element.getParent();
        }
        // if we find nothing, use the default color
        if (element == null) {
            foregroundColor = getTextPaneSkin().getColor();
        }

View Full Code Here

        return foregroundColor;
    }


    private boolean getEffectiveUnderline() {
        // run up the tree until we find an element's style to apply
        Element element = getNode().getParent();
        while (element != null) {
            if (element.isUnderline()) {
                return true;
            }


            element = element.getParent();
        }
        return false;
    }

View Full Code Here

        return false;
    }


    private boolean getEffectiveStrikethrough() {
        // run up the tree until we find an element's style to apply
        Element element = getNode().getParent();
        while (element != null) {
            if (element.isStrikethrough()) {
                return true;
            }


            element = element.getParent();
        }
        return false;
    }

View Full Code Here

                    paragraph.add(new TextNode(text));
                }
            } else {
                // The caret is positioned on a non-text character node; insert
                // the text into the descendant's parent
                Element parent = descendant.getParent();
                int index = parent.indexOf(descendant);
                parent.insert(new TextNode(text), index);
            }
        }


        // Set the selection start to the character following the insertion
        setSelection(selectionStart + text.length(), 0);

View Full Code Here

        int offset = selectionStart - leadingSegment.getDocumentOffset();
        int characterCount = leadingSegment.getCharacterCount() - offset;


        Paragraph trailingSegment = (Paragraph)leadingSegment.removeRange(offset, characterCount);


        Element parent = leadingSegment.getParent();
        int index = parent.indexOf(leadingSegment);
        parent.insert(trailingSegment, index + 1);


        // Set the selection start to the character following the insertion
        setSelection(selectionStart + 1, selectionLength);
    }

View Full Code Here

0 1 2 3 4 5 6

TOP

Related Classes of org.apache.pivot.wtk.text.Element$NodeOffsetComparator

org.apache.pivot.demos.text.TextPaneDemo

org.apache.pivot.tests.text.ElementAdapter

org.apache.pivot.wtk.skin.TextAreaSkin$ElementView

org.apache.pivot.wtk.skin.TextPaneSkinElementView

org.apache.pivot.wtk.skin.TextPaneSkinTextNodeView

org.apache.pivot.wtk.skin.TextPaneSkinVerticalElementView

org.apache.pivot.wtk.text.test.ElementAdapter

org.apache.pivot.wtk.TextArea

org.apache.pivot.wtk.TextPane

java.awt.Font

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.