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 clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic 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()