public class SwtWindow extends EWindow
buffer, charHeight, charWidth, frame, nextWindow, pendingKeys, pendingLength, prevWindow
Constructor and Description |
---|
SwtWindow(Buffer buffer) |
SwtWindow(Buffer buffer,
boolean wantModeLine) |
Modifier and Type | Method and Description |
---|---|
void |
focusGained(FocusEvent e) |
void |
focusLost(FocusEvent e) |
protected void |
getCharSize() |
int |
getHeight()
Get the current height (in pixels) of this window.
|
int |
getPoint()
Returns the "Emacs value" (1-origin) of point.
|
void |
getReadyToShow(Composite parent,
int firstVisibleLine) |
int |
getWidth()
Get the current width (in pixels) of this window.
|
void |
handleCommand(java.lang.Object command) |
void |
handleKey(int code) |
void |
keyPressed(KeyEvent e) |
void |
keyReleased(KeyEvent e) |
void |
mouseDoubleClick(MouseEvent e) |
void |
mouseDown(MouseEvent e) |
void |
mouseUp(MouseEvent e) |
void |
setBuffer(Buffer buffer) |
void |
setDot(int offset) |
void |
setSelected() |
static void |
show(KeyEvent e) |
EWindow |
split(Buffer buffer,
int lines,
boolean horizontal)
Split this window into two.
|
java.lang.Object |
tooLong(int pendingLength) |
void |
unselect() |
void |
updateModeline() |
void |
verifyKey(VerifyEvent event) |
delete, deleteNoValidate, deleteOtherWindows, getBuffer, getFrame, getHeightInLines, getNextWindow, getNextWindowInFrame, getOtherWindow, getSelected, getWidthInColumns, linkSibling, lookupKey, pushPrefix, requestFocus, setFrame, setPoint, setSelected, split, toString, unlink
public SwtWindow(Buffer buffer)
public SwtWindow(Buffer buffer, boolean wantModeLine)
public void getReadyToShow(Composite parent, int firstVisibleLine)
public void setBuffer(Buffer buffer)
setBuffer
in class EWindow
EWindow.setBuffer(gnu.jemacs.buffer.Buffer)
public void handleCommand(java.lang.Object command)
handleCommand
in class EWindow
public void setSelected()
setSelected
in class EWindow
EWindow.setSelected()
public void unselect()
unselect
in class EWindow
EWindow.unselect()
public int getPoint()
EWindow
getPoint
in class EWindow
EWindow.getPoint()
public void setDot(int offset)
setDot
in class EWindow
EWindow.setDot(int)
public EWindow split(Buffer buffer, int lines, boolean horizontal)
EWindow
protected void getCharSize()
getCharSize
in class EWindow
EWindow.getCharSize()
public int getWidth()
EWindow
getWidth
in class EWindow
EWindow.getWidth()
public int getHeight()
EWindow
getHeight
in class EWindow
EWindow.getHeight()
public java.lang.Object tooLong(int pendingLength)
tooLong
in class EWindow
EWindow.tooLong(int)
public void verifyKey(VerifyEvent event)
public void focusGained(FocusEvent e)
public void focusLost(FocusEvent e)
public void keyPressed(KeyEvent e)
public void keyReleased(KeyEvent e)
public void mouseDoubleClick(MouseEvent e)
public void mouseDown(MouseEvent e)
public void mouseUp(MouseEvent e)
public static void show(KeyEvent e)
e
- public void updateModeline()