nl.cwi.sen1.gui.plugin.editor
Class NumberedEditorKit.NumberedParagraphView

java.lang.Object
  javax.swing.text.View
      javax.swing.text.CompositeView
          javax.swing.text.BoxView
              javax.swing.text.FlowView
                  javax.swing.text.ParagraphView
                      nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

All Implemented Interfaces:

javax.swing.SwingConstants, javax.swing.text.TabExpander

Enclosing class:

NumberedEditorKit

static class NumberedEditorKit.NumberedParagraphView
extends javax.swing.text.ParagraphView

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.FlowView

javax.swing.text.FlowView.FlowStrategy

Field Summary

static short

NUMBERS_WIDTH

Fields inherited from class javax.swing.text.ParagraphView

firstLineIndent

Fields inherited from class javax.swing.text.FlowView

layoutPool, layoutSpan, strategy

Fields inherited from class javax.swing.text.View

BadBreakWeight, ExcellentBreakWeight, ForcedBreakWeight, GoodBreakWeight, X_AXIS, Y_AXIS

Fields inherited from interface javax.swing.SwingConstants

BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NEXT, NORTH, NORTH_EAST, NORTH_WEST, PREVIOUS, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST

Constructor Summary

NumberedEditorKit.NumberedParagraphView(javax.swing.text.Element e)

Method Summary

int	getPreviousLineCount()
void	paintChild(java.awt.Graphics g, java.awt.Rectangle r, int n)
protected void	setInsets(short top, short left, short bottom, short right)

Methods inherited from class javax.swing.text.ParagraphView

adjustRow, breakView, calculateMinorAxisRequirements, changedUpdate, createRow, findOffsetToCharactersInString, flipEastAndWestAtEnds, getAlignment, getBreakWeight, getClosestPositionTo, getFlowSpan, getFlowStart, getLayoutView, getLayoutViewCount, getNextNorthSouthVisualPositionFrom, getPartialSize, getTabBase, getTabSet, nextTabStop, paint, setFirstLineIndent, setJustification, setLineSpacing, setPropertiesFromAttributes

Methods inherited from class javax.swing.text.FlowView

getFlowAxis, getViewIndexAtPosition, insertUpdate, layout, loadChildren, removeUpdate, setParent

Methods inherited from class javax.swing.text.BoxView

baselineLayout, baselineRequirements, calculateMajorAxisRequirements, childAllocation, forwardUpdate, getAxis, getChildAllocation, getHeight, getMaximumSpan, getMinimumSpan, getOffset, getPreferredSpan, getResizeWeight, getSpan, getViewAtPoint, getWidth, isAfter, isAllocationValid, isBefore, isLayoutValid, layoutChanged, layoutMajorAxis, layoutMinorAxis, modelToView, preferenceChanged, replace, setAxis, setSize, viewToModel

Methods inherited from class javax.swing.text.CompositeView

getBottomInset, getInsideAllocation, getLeftInset, getNextEastWestVisualPositionFrom, getNextVisualPositionFrom, getRightInset, getTopInset, getView, getViewAtPosition, getViewCount, getViewIndex, modelToView, setParagraphInsets

Methods inherited from class javax.swing.text.View

append, breakView, createFragment, forwardUpdateToView, getAttributes, getBreakWeight, getContainer, getDocument, getElement, getEndOffset, getGraphics, getParent, getStartOffset, getToolTipText, getViewFactory, getViewIndex, insert, isVisible, modelToView, remove, removeAll, updateChildren, updateLayout, viewToModel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NUMBERS_WIDTH

public static short NUMBERS_WIDTH

Constructor Detail

NumberedEditorKit.NumberedParagraphView

public NumberedEditorKit.NumberedParagraphView(javax.swing.text.Element e)

Method Detail

setInsets

protected void setInsets(short top,
                         short left,
                         short bottom,
                         short right)

Overrides:

setInsets in class javax.swing.text.CompositeView

paintChild

public void paintChild(java.awt.Graphics g,
                       java.awt.Rectangle r,
                       int n)

Overrides:

paintChild in class javax.swing.text.BoxView

getPreviousLineCount

public int getPreviousLineCount()