@Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ @Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ @Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ @Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ @Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ @Override public Element getElement() { return view.getElement(); }
/** * Gets the element that this view is mapped to. * * @return the view */ public Element getElement() { if (view != null) { return view.getElement(); } return view.getDocument().getDefaultRootElement(); }
public Element getElement() { if (view != null) { return view.getElement(); } Document doc = getDocument(); return (doc != null) ? doc.getDefaultRootElement() : null; }
javax.swing.text.Element rootElem = textUI.getRootView(component).getElement(); View rootView = Utilities.getDocumentView(component); if (rootView == null) return ret;
/** * Paints one view that corresponds to a line (or * multiple lines if folding takes effect). */ private void paintView(View view, Graphics g, int yBase) { JTextComponent component = editorUI.getComponent(); if (component == null) return; BaseTextUI textUI = (BaseTextUI)component.getUI(); Element rootElem = textUI.getRootView(component).getElement(); int line = rootElem.getElementIndex(view.getStartOffset()); String annotation = ""; // NOI18N AnnotateLine al = null; if (!elementAnnotations.isEmpty()) { al = getAnnotateLine(line); if (al != null) { annotation = getDisplayName(al); // NOI18N } } else { annotation = elementAnnotationsSubstitute; } if (al != null && al.getRevision().equals(recentRevision)) { g.setColor(selectedColor()); } else { g.setColor(foregroundColor()); } int texty = yBase + editorUI.getLineAscent(); int textx = 2; g.drawString(annotation, textx, texty); }
super.paint(g, a); Color c = (Color)getElement().getAttributes().getAttribute("Underline-Color"); if(c != null){ int y = a.getBounds().y + (int)getGlyphPainter().getAscent(this);
Color c=(Color)getElement().getAttributes().getAttribute("strike-color"); if (c!=null) { int y = a.getBounds().y + a.getBounds().height - (int) getGlyphPainter().getDescent(this);
Insets margin = editorUI.getLineNumberMargin(); if (margin != null) rightMargin = margin.right; Element rootElem = textUI.getRootView(component).getElement(); int line = rootElem.getElementIndex(view.getStartOffset());
int start = getElement().getStartOffset(); int end = getElement().getEndOffset(); String text = getElement().getDocument().getText(start, end - start); button.setText(text); } catch (BadLocationException e) {
Element rootElem = textUI.getRootView(component).getElement();
protected void performAction(Mark mark){ BaseTextUI textUI = (BaseTextUI)component.getUI(); javax.swing.text.Element rootElem = textUI.getRootView(component).getElement();