public class JBTerminalWidget extends JediTermWidget implements Disposable, DataProvider
Disposable.Parent
Modifier and Type | Field and Description |
---|---|
static DataKey<java.lang.String> |
SELECTED_TEXT_DATA_KEY |
static DataKey<JBTerminalWidget> |
TERMINAL_DATA_KEY |
Constructor and Description |
---|
JBTerminalWidget(Project project,
int columns,
int lines,
JBTerminalSystemSettingsProviderBase settingsProvider,
TerminalExecutionConsole console,
Disposable parent) |
JBTerminalWidget(Project project,
JBTerminalSystemSettingsProviderBase settingsProvider,
Disposable parent) |
Modifier and Type | Method and Description |
---|---|
void |
addMessageFilter(Filter filter) |
protected javax.swing.JScrollBar |
createScrollBar() |
protected SearchComponent |
createSearchComponent() |
protected JBTerminalPanel |
createTerminalPanel(SettingsProvider settingsProvider,
StyleState styleState,
TerminalTextBuffer textBuffer) |
protected TerminalStarter |
createTerminalStarter(JediTerminal terminal,
TtyConnector connector) |
void |
dispose()
Usually not invoked directly, see class javadoc.
|
java.util.List<TerminalAction> |
getActions() |
protected java.awt.Graphics |
getComponentGraphics(java.awt.Graphics graphics) |
java.lang.Object |
getData(java.lang.String dataId)
Returns the object corresponding to the specified data identifier.
|
JBTerminalWidgetListener |
getListener() |
JBTerminalSystemSettingsProviderBase |
getSettingsProvider() |
VirtualFile |
getVirtualFile() |
void |
moveDisposable(Disposable newParent) |
void |
notifyStarted() |
void |
setListener(JBTerminalWidgetListener listener) |
void |
setVirtualFile(VirtualFile virtualFile) |
void |
start(TtyConnector connector) |
public static final DataKey<java.lang.String> SELECTED_TEXT_DATA_KEY
public static final DataKey<JBTerminalWidget> TERMINAL_DATA_KEY
public JBTerminalWidget(Project project, JBTerminalSystemSettingsProviderBase settingsProvider, Disposable parent)
public JBTerminalWidget(Project project, int columns, int lines, JBTerminalSystemSettingsProviderBase settingsProvider, TerminalExecutionConsole console, Disposable parent)
public JBTerminalWidgetListener getListener()
public void setListener(JBTerminalWidgetListener listener)
protected JBTerminalPanel createTerminalPanel(SettingsProvider settingsProvider, StyleState styleState, TerminalTextBuffer textBuffer)
protected java.awt.Graphics getComponentGraphics(java.awt.Graphics graphics)
protected TerminalStarter createTerminalStarter(JediTerminal terminal, TtyConnector connector)
protected javax.swing.JScrollBar createScrollBar()
public java.util.List<TerminalAction> getActions()
public void dispose()
Disposable
dispose
in interface Disposable
protected SearchComponent createSearchComponent()
public void addMessageFilter(Filter filter)
public void start(TtyConnector connector)
public JBTerminalSystemSettingsProviderBase getSettingsProvider()
public void moveDisposable(Disposable newParent)
public void setVirtualFile(VirtualFile virtualFile)
public VirtualFile getVirtualFile()
public void notifyStarted()
public java.lang.Object getData(java.lang.String dataId)
DataProvider
PlatformDataKeys
class.getData
in interface DataProvider
dataId
- the data identifier for which the value is requested.