gnu.jemacs.swt
Class SwtWindow
java.lang.Object
gnu.jemacs.buffer.EWindow
gnu.jemacs.swt.SwtWindow
public class SwtWindow
- extends EWindow
Methods inherited from class gnu.jemacs.buffer.EWindow |
delete, deleteNoValidate, deleteOtherWindows, getBuffer, getFrame, getHeightInLines, getNextWindow, getNextWindowInFrame, getOtherWindow, getSelected, getWidthInColumns, linkSibling, lookupKey, pushPrefix, requestFocus, setFrame, setPoint, setSelected, split, toString, unlink |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
SwtWindow
public SwtWindow(Buffer buffer)
SwtWindow
public SwtWindow(Buffer buffer,
boolean wantModeLine)
getReadyToShow
public void getReadyToShow(Composite parent,
int firstVisibleLine)
setBuffer
public void setBuffer(Buffer buffer)
- Overrides:
setBuffer
in class EWindow
- See Also:
EWindow.setBuffer(gnu.jemacs.buffer.Buffer)
handleKey
public void handleKey(int code)
- Overrides:
handleKey
in class EWindow
handleCommand
public void handleCommand(java.lang.Object command)
- Overrides:
handleCommand
in class EWindow
setSelected
public void setSelected()
- Overrides:
setSelected
in class EWindow
- See Also:
EWindow.setSelected()
unselect
public void unselect()
- Specified by:
unselect
in class EWindow
- See Also:
EWindow.unselect()
getPoint
public int getPoint()
- Description copied from class:
EWindow
- Returns the "Emacs value" (1-origin) of point.
- Specified by:
getPoint
in class EWindow
- See Also:
EWindow.getPoint()
setDot
public void setDot(int offset)
- Specified by:
setDot
in class EWindow
- See Also:
EWindow.setDot(int)
split
public EWindow split(Buffer buffer,
int lines,
boolean horizontal)
- Description copied from class:
EWindow
- Split this window into two.
Display Var>buffer in the new window.
- Specified by:
split
in class EWindow
- Returns:
- the new window.
getCharSize
protected void getCharSize()
- Specified by:
getCharSize
in class EWindow
- See Also:
EWindow.getCharSize()
getWidth
public int getWidth()
- Description copied from class:
EWindow
- Get the current width (in pixels) of this window.
- Specified by:
getWidth
in class EWindow
- See Also:
EWindow.getWidth()
getHeight
public int getHeight()
- Description copied from class:
EWindow
- Get the current height (in pixels) of this window.
- Specified by:
getHeight
in class EWindow
- See Also:
EWindow.getHeight()
tooLong
public java.lang.Object tooLong(int pendingLength)
- Specified by:
tooLong
in class EWindow
- See Also:
EWindow.tooLong(int)
verifyKey
public void verifyKey(VerifyEvent event)
focusGained
public void focusGained(FocusEvent e)
focusLost
public void focusLost(FocusEvent e)
keyPressed
public void keyPressed(KeyEvent e)
keyReleased
public void keyReleased(KeyEvent e)
mouseDoubleClick
public void mouseDoubleClick(MouseEvent e)
mouseDown
public void mouseDown(MouseEvent e)
mouseUp
public void mouseUp(MouseEvent e)
show
public static void show(KeyEvent e)
- Parameters:
e
-
updateModeline
public void updateModeline()