Package com.github.fracpete.jshell.event

Interface JShellPanelListener

public interface JShellPanelListener
Interface for classes that listen to events of the JShellPanel.
Author:
FracPete (fracpete at waikato dot ac dot nz)

  • Method Details

    • jshellPanelEventOccurred

      void jshellPanelEventOccurred(JShellPanelEvent e)
      Gets triggered with any event in the JShellPanel.
      Parameters:
      e - the event