backwardChar
public void backwardChar(int i)
currentColumn
public int currentColumn()
equals
public boolean equals(Object other)
forwardChar
public void forwardChar(int i)
forwardLine
public int forwardLine(int lines)
getBuffer
public Buffer getBuffer()
getOffset
public int getOffset()
getPoint
public int getPoint()
hashCode
public int hashCode()
insert
public void insert(String string,
Object style)
insert
public void insert(char ch,
int count,
Object style)
Insert count copies of ch at the current position.
insert
public void insert(char[] data,
int off,
int len,
Object style)
isBeginningOfLine
public boolean isBeginningOfLine()
Move to start of frame line COUNTs down.
Assume window width is WIDTH.
If LINES is negative, this is moving up.
isEndOfLine
public boolean isEndOfLine()
isPoint
public final boolean isPoint()
Is this the special point marker?
moveToColumn
public int moveToColumn(int column,
boolean force)
removeChar
public void removeChar(int count)
set
public void set(Buffer newBuffer,
int newPosition)
setDot
public void setDot(int newPosition)