TerminalPanelListener.java

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);
}