package com.jediterm.terminal.ui;
import com.jediterm.terminal.RequestOrigin;
import java.awt.*;
public interface TerminalPanelListener {
void onPanelResize(Dimension pixelDimension, RequestOrigin origin);
void onSessionChanged(TerminalSession currentSession);
void onTitleChanged(String title);
}