JBTerminalPanel (@NotNull SettingsProvider settingsProvider, @NotNull StyleState styleState, @NotNull TerminalTextBuffer textBuffer) { JBTerminalPanel panel = new JBTerminalPanel((JBTerminalSystemSettingsProviderBase)settingsProvider, textBuffer, styleState) { @Override public void clearBuffer() { super.clearBuffer(false); } }; Disposer.register(this, panel); return panel; }