Get the document displayed by this NaviView.

Get the width of the given line, not counting margins.

Make sure font metrics information cached by the view is up-to-date.

Enqueue a repaint of the backing buffer. The given co-ordinates (top, bottom) are view co-ordinates.

Paint to the backing image buffer, and then issue an appropriate repaint() so that the backing buffer is displayed. @param top The top line (in view

Mark the appropriate areas as needing a repaint after changes to the document.

Determine which line is the longest line, and store in {@code longestLine}.

Notify the NaviView that the document has changed (vertical) length. Normally this is called by NaviviewView.

Draw a line of text. @param lineIndex The line number @param g The graphics context on which to draw @param x The x-position @param

Get the longest line element (find it first if necessary).

Move the view (by setting the scrollbar value), according to the given mouse coordinate within the NaviView component.

Mark an (inclusive) line range as in need of repaint. @param line0 The lowest damaged line number @param line1 The highest damaged line number >=

Return an icon for an image file name, without going through bluej.defs. The parameter specifies the final image name, not a property.

Get the tab size (in characters), according to the appropriate document attribute.

Get the colour for drawing text.

Tell us whether we are running on MacOS

Tell use whether we are running on MacOS 10.6 (Snow Leopard) or later

Paint a line of text, without syntax colouring. This is provided as a convenience for subclasses.

Repaint model co-ordinates. The given lines will be translated to the NaviView component's co-ordinate space. @param top The topmost line to repaint

Set the document displayed in this NaviView. @param document the document to be displayed - cannot be null.

Convert a y-coordinate in the NaviView co-ordinate space to a line number in the document.

Constructs a BetterPlainView for the specified element.