/** * Constructs a new text element for a specified node element * * @param treeRepresentation tree representation * @param nodeElement node element * @param text text */ public TextElement(TreeRepresentation treeRepresentation, NodeElement nodeElement, String text) { super(treeRepresentation, "text"); this.treeRepresentation = treeRepresentation; this.nodeElement = nodeElement; tspanVector = new Vector<TSpanElement>(); // id setId(TreeRepresentation.NODE_TEXT_IDENTIFIER_PREFIX + "@" + nodeElement.getId()); element.setAttribute("style", "text-anchor:start;"); element.setAttribute("xml:space", "preserve"); // tspan createHeadTSpanElement(0); if (text == null) text = DEFAULT_TEXT; createTextTSpanElement( text, treeRepresentation.getTreeEditorBridge().getUIFormatJToolBar().getFontFormatting(), 0); createTailTSpanElement(0); // properties setAlignment(treeRepresentation.getTreeEditorBridge().getUIFormatJToolBar().getAlignment()); setVisible(true); setTaintMode(TAINTED); }