|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object gnu.jemacs.buffer.EWindow gnu.jemacs.swing.SwingWindow
public class SwingWindow
An Emacs window (EWindow) implemented using the Swing toolkits.
Field Summary | |
---|---|
Modeline |
modeline
|
Fields inherited from class gnu.jemacs.buffer.EWindow |
---|
buffer, charHeight, charWidth, frame, nextWindow, pendingKeys, pendingLength, prevWindow |
Constructor Summary | |
---|---|
SwingWindow(Buffer buffer)
|
|
SwingWindow(Buffer buffer,
boolean wantModeline)
Create new Window. |
Method Summary | |
---|---|
void |
activateRegion()
|
protected void |
deleteNoValidate()
|
void |
focusGained(java.awt.event.FocusEvent e)
|
void |
focusLost(java.awt.event.FocusEvent e)
|
protected void |
getCharSize()
|
static javax.swing.JTextPane |
getContainedWindow(java.awt.Container cont,
boolean last)
|
int |
getHeight()
Get the current height (in pixels) of this window. |
javax.swing.JPanel |
getPanel()
Get the JPanel containing this Window. |
int |
getPoint()
Returns the "Emacs value" (1-origin) of point. |
java.awt.Dimension |
getPreferredScrollableViewportSize()
|
int |
getWidth()
Get the current width (in pixels) of this window. |
static SwingWindow |
getWindow(java.awt.event.ActionEvent event)
|
protected void |
handle(java.awt.event.KeyEvent e,
int code)
|
void |
keyPressed(java.awt.event.KeyEvent e)
|
void |
keyReleased(java.awt.event.KeyEvent e)
|
void |
keyTyped(java.awt.event.KeyEvent e)
|
void |
requestFocus()
|
void |
setBuffer(Buffer buffer)
|
void |
setDot(int offset)
|
void |
setSelected()
|
EWindow |
split(Buffer buffer,
int lines,
boolean horizontal)
Split this window into two. |
void |
stateChanged(javax.swing.event.ChangeEvent e)
|
java.lang.Object |
tooLong(int pendingLength)
|
void |
unselect()
|
javax.swing.JPanel |
wrap()
Warp this (and optional modeline) inside a ScrollPane in a new JPanel. |
Methods inherited from class gnu.jemacs.buffer.EWindow |
---|
delete, deleteOtherWindows, getBuffer, getFrame, getHeightInLines, getNextWindow, getNextWindowInFrame, getOtherWindow, getSelected, getWidthInColumns, handleCommand, handleKey, linkSibling, lookupKey, pushPrefix, setFrame, setPoint, setSelected, split, toString, unlink |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public Modeline modeline
Constructor Detail |
---|
public SwingWindow(Buffer buffer)
public SwingWindow(Buffer buffer, boolean wantModeline)
buffer
- the Buffer containing the data.wantModeline
- true if we should create a mode lineMethod Detail |
---|
public javax.swing.JPanel wrap()
public javax.swing.JPanel getPanel()
public void focusGained(java.awt.event.FocusEvent e)
focusGained
in interface java.awt.event.FocusListener
public void focusLost(java.awt.event.FocusEvent e)
focusLost
in interface java.awt.event.FocusListener
public void requestFocus()
requestFocus
in class EWindow
public void setBuffer(Buffer buffer)
setBuffer
in class EWindow
public void unselect()
unselect
in class EWindow
public void setSelected()
setSelected
in class EWindow
public int getPoint()
EWindow
getPoint
in class EWindow
public void setDot(int offset)
setDot
in class EWindow
public EWindow split(Buffer buffer, int lines, boolean horizontal)
EWindow
split
in class EWindow
public void stateChanged(javax.swing.event.ChangeEvent e)
stateChanged
in interface javax.swing.event.ChangeListener
public static javax.swing.JTextPane getContainedWindow(java.awt.Container cont, boolean last)
public static SwingWindow getWindow(java.awt.event.ActionEvent event)
protected void deleteNoValidate()
deleteNoValidate
in class EWindow
public void activateRegion()
public java.awt.Dimension getPreferredScrollableViewportSize()
protected void getCharSize()
getCharSize
in class EWindow
public int getWidth()
EWindow
getWidth
in class EWindow
public int getHeight()
EWindow
getHeight
in class EWindow
public void keyTyped(java.awt.event.KeyEvent e)
keyTyped
in interface java.awt.event.KeyListener
public void keyPressed(java.awt.event.KeyEvent e)
keyPressed
in interface java.awt.event.KeyListener
public void keyReleased(java.awt.event.KeyEvent e)
keyReleased
in interface java.awt.event.KeyListener
protected void handle(java.awt.event.KeyEvent e, int code)
public java.lang.Object tooLong(int pendingLength)
tooLong
in class EWindow
EWindow.tooLong(int)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |