use of com.intellij.terminal.JBTerminalWidget in project intellij-community by JetBrains.
the class JBTabbedTerminalWidget method createInnerTerminalWidget.
@Override
protected JediTermWidget createInnerTerminalWidget(TabbedSettingsProvider settingsProvider) {
JBTerminalWidget widget = new JBTerminalWidget(myProject, mySettingsProvider, myParent);
widget.addMessageFilter(myProject, new UrlFilter());
convertActions(widget, widget.getActions());
convertActions(widget.getTerminalPanel(), widget.getTerminalPanel().getActions(), new Predicate<KeyEvent>() {
@Override
public boolean apply(KeyEvent input) {
widget.getTerminalPanel().handleKeyEvent(input);
return true;
}
});
return widget;
}
Aggregations