public String toString() { return "startOffset=" + getStartOffset() // NOI18N + ", endOffset=" + getEndMark(); // NOI18N }
public String toString() { return "startOffset=" + getStartOffset() // NOI18N + ", endOffset=" + getEndMark(); // NOI18N }
/** Compute and update main area height */ public void updateMainHeight() { LeafElement elem = (LeafElement) getElement(); // need leaf element try { int lineDiff = (elem.getEndMark().getLine() - elem.getStartMark().getLine() + 1); mainHeight = lineDiff * getEditorUI().getLineHeight(); } catch (InvalidMarkException e) { mainHeight = 0; } }
/** Compute and update main area height */ public void updateMainHeight() { LeafElement elem = (LeafElement)getElement(); // need leaf element try { int lineDiff = (elem.getEndMark().getLine() - elem.getStartMark().getLine() + 1); mainHeight = lineDiff * getEditorUI().getLineHeight(); } catch (InvalidMarkException e) { Utilities.annotateLoggable(e); mainHeight = 0; } }