Package com.github.fracpete.jshell.event

Interface JShellListener

public interface JShellListener

Interface for classes that listen to events of the JShellPanel.

Author:

FracPete (fracpete at waikato dot ac dot nz)

Method Summary

Modifier and Type	Method	Description
void	jshellEventOccurred(JShellEvent e)	Gets triggered with any event in the JShellPanel.

Method Detail

jshellEventOccurred

void jshellEventOccurred(JShellEvent e)

Gets triggered with any event in the JShellPanel.

Parameters:

e - the event