public TerminalPanel(
@NotNull SettingsProvider settingsProvider,
@NotNull TerminalTextBuffer terminalTextBuffer,
@NotNull StyleState styleState) {
mySettingsProvider = settingsProvider;
myTerminalTextBuffer = terminalTextBuffer;
myStyleState = styleState;
myTermSize.width = terminalTextBuffer.getWidth();
myTermSize.height = terminalTextBuffer.getHeight();
myMaxFPS = mySettingsProvider.maxRefreshRate();
updateScrolling();
enableEvents(AWTEvent.KEY_EVENT_MASK | AWTEvent.INPUT_METHOD_EVENT_MASK);
enableInputMethods(true);
terminalTextBuffer.addModelListener(
new TerminalModelListener() {
@Override
public void modelChanged() {
repaint();
}
});
}
