public class JBTerminalPanel extends TerminalPanel implements java.awt.event.FocusListener, TerminalSettingsListener, Disposable
Disposable.Parent
Constructor and Description |
---|
JBTerminalPanel(JBTerminalSystemSettingsProviderBase settingsProvider,
TerminalTextBuffer backBuffer,
StyleState styleState) |
Modifier and Type | Method and Description |
---|---|
void |
addPreKeyEventHandler(java.util.function.Consumer<java.awt.event.KeyEvent> preKeyEventHandler) |
protected java.awt.image.BufferedImage |
createBufferedImage(int width,
int height) |
protected TerminalCopyPasteHandler |
createCopyPasteHandler() |
void |
dispose()
Usually not invoked directly, see class javadoc.
|
protected void |
drawImage(java.awt.Graphics2D gfx,
java.awt.image.BufferedImage image,
int x,
int y,
java.awt.image.ImageObserver observer) |
protected void |
drawImage(java.awt.Graphics2D g,
java.awt.image.BufferedImage image,
int dx1,
int dy1,
int dx2,
int dy2,
int sx1,
int sy1,
int sx2,
int sy2) |
static void |
drawImage(java.awt.Graphics g,
java.awt.Image image,
int dx1,
int dy1,
int dx2,
int dy2,
int sx1,
int sy1,
int sx2,
int sy2,
java.awt.image.ImageObserver observer) |
void |
focusGained(java.awt.event.FocusEvent event) |
void |
focusLost(java.awt.event.FocusEvent event) |
void |
fontChanged() |
FontInfo |
fontForChar(char c,
int style) |
protected java.awt.Font |
getFontToDisplay(char c,
TextStyle style) |
void |
handleKeyEvent(java.awt.event.KeyEvent e) |
protected boolean |
isRetina() |
protected void |
processMouseWheelEvent(java.awt.event.MouseWheelEvent e) |
static void |
refreshAfterExecution() |
protected void |
setupAntialiasing(java.awt.Graphics graphics) |
public JBTerminalPanel(JBTerminalSystemSettingsProviderBase settingsProvider, TerminalTextBuffer backBuffer, StyleState styleState)
public void handleKeyEvent(java.awt.event.KeyEvent e)
public void addPreKeyEventHandler(java.util.function.Consumer<java.awt.event.KeyEvent> preKeyEventHandler)
protected void setupAntialiasing(java.awt.Graphics graphics)
protected TerminalCopyPasteHandler createCopyPasteHandler()
protected void drawImage(java.awt.Graphics2D gfx, java.awt.image.BufferedImage image, int x, int y, java.awt.image.ImageObserver observer)
protected void drawImage(java.awt.Graphics2D g, java.awt.image.BufferedImage image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2)
public static void drawImage(java.awt.Graphics g, java.awt.Image image, int dx1, int dy1, int dx2, int dy2, int sx1, int sy1, int sx2, int sy2, java.awt.image.ImageObserver observer)
protected boolean isRetina()
protected java.awt.image.BufferedImage createBufferedImage(int width, int height)
public void focusGained(java.awt.event.FocusEvent event)
focusGained
in interface java.awt.event.FocusListener
public void focusLost(java.awt.event.FocusEvent event)
focusLost
in interface java.awt.event.FocusListener
protected java.awt.Font getFontToDisplay(char c, TextStyle style)
public FontInfo fontForChar(char c, int style)
public void fontChanged()
fontChanged
in interface TerminalSettingsListener
public void dispose()
Disposable
dispose
in interface Disposable
public static void refreshAfterExecution()
protected void processMouseWheelEvent(java.awt.event.MouseWheelEvent e)