edu.rice.cs.drjava.ui
Class MainFrame.PositionListener

java.lang.Object
  edu.rice.cs.drjava.ui.MainFrame.PositionListener

All Implemented Interfaces:

EventListener, CaretListener

Enclosing class:

MainFrame

private class MainFrame.PositionListener
extends Object
implements CaretListener

Inner class to handle updating the current position in a document. Registered with the DefinitionsPane.

Field Summary

private int	_col
private int	_line
private int	_offset

Constructor Summary

private

MainFrame.PositionListener()

Method Summary

void	caretUpdate(CaretEvent ce)
int	lastCol()
int	lastLine()
void	updateLocation()
private void	updateLocation(int line, int col)

Methods inherited from class java.lang.Object

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

Field Detail

_offset

private int _offset

_line

private int _line

_col

private int _col

Constructor Detail

MainFrame.PositionListener

private MainFrame.PositionListener()

Method Detail

caretUpdate

public void caretUpdate(CaretEvent ce)

Specified by:

caretUpdate in interface CaretListener

updateLocation

public void updateLocation()

updateLocation

private void updateLocation(int line,
                            int col)

lastLine

public int lastLine()

lastCol

public int lastCol()