view rep/gui/SessionManagerEvent.java @ 502:49b689b17d06 default tip

merged TestEditor to REPEditor
author suika6039
date Tue, 21 Dec 2010 18:01:15 +0900
parents 4b87f89b3afd
children
line wrap: on
line source

package rep.gui;

import rep.SessionManager;

public interface SessionManagerEvent {

	void exec(SessionManager manager);

}