public abstract class EWindow
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Buffer |
buffer |
protected int |
charHeight
Nominal height in pixels of a character, if non-zero.
|
protected int |
charWidth
Nominal width in pixels of a character, if non-zero.
|
EFrame |
frame |
protected EWindow |
nextWindow
Next window in cyclic window ordering.
|
protected int[] |
pendingKeys |
protected int |
pendingLength |
protected EWindow |
prevWindow
Previous window in cyclic window ordering.
|
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
deleteNoValidate() |
void |
deleteOtherWindows() |
Buffer |
getBuffer() |
protected abstract void |
getCharSize() |
EFrame |
getFrame() |
abstract int |
getHeight()
Get the current height (in pixels) of this window.
|
int |
getHeightInLines() |
EWindow |
getNextWindow(boolean forwards)
Return the next/previous window in the cyclic order of windows.
|
EWindow |
getNextWindowInFrame(int count) |
EWindow |
getOtherWindow(boolean forwards)
Return the next/previous EWindow in the cyclic order of windows.
|
abstract int |
getPoint()
Returns the "Emacs value" (1-origin) of point.
|
static EWindow |
getSelected() |
abstract int |
getWidth()
Get the current width (in pixels) of this window.
|
int |
getWidthInColumns() |
void |
handleCommand(java.lang.Object command) |
void |
handleKey(int code) |
protected void |
linkSibling(EWindow window,
boolean horizontal)
Link a new window after this.
|
java.lang.Object |
lookupKey(int key) |
void |
pushPrefix(int prefix) |
void |
requestFocus() |
void |
setBuffer(Buffer buffer) |
abstract void |
setDot(int offset) |
void |
setFrame(EFrame frame) |
void |
setPoint(int point) |
void |
setSelected() |
static void |
setSelected(EWindow window) |
abstract EWindow |
split(Buffer buffer,
int lines,
boolean horizontal)
Split this window into two.
|
EWindow |
split(int lines,
boolean horizontal)
Split this window into two, showing this buffer in both windows.
|
abstract java.lang.Object |
tooLong(int pendingLength) |
java.lang.String |
toString() |
protected void |
unlink() |
abstract void |
unselect() |
public EFrame frame
public Buffer buffer
protected int[] pendingKeys
protected int pendingLength
protected EWindow prevWindow
protected EWindow nextWindow
protected int charHeight
protected int charWidth
public EWindow(Buffer buffer)
public static EWindow getSelected()
public void setSelected()
public abstract void unselect()
public static void setSelected(EWindow window)
public void requestFocus()
public EFrame getFrame()
public final void setFrame(EFrame frame)
public Buffer getBuffer()
public void setBuffer(Buffer buffer)
public abstract int getPoint()
public final void setPoint(int point)
public abstract void setDot(int offset)
public final EWindow split(int lines, boolean horizontal)
public abstract EWindow split(Buffer buffer, int lines, boolean horizontal)
protected final void linkSibling(EWindow window, boolean horizontal)
protected final void unlink()
public EWindow getNextWindow(boolean forwards)
public final EWindow getOtherWindow(boolean forwards)
public final EWindow getNextWindowInFrame(int count)
public void delete()
protected void deleteNoValidate()
public void deleteOtherWindows()
protected abstract void getCharSize()
public abstract int getWidth()
public abstract int getHeight()
public int getHeightInLines()
public int getWidthInColumns()
public java.lang.String toString()
toString
in class java.lang.Object
public void pushPrefix(int prefix)
public java.lang.Object lookupKey(int key)
public abstract java.lang.Object tooLong(int pendingLength)
public void handleKey(int code)
public void handleCommand(java.lang.Object command)