view rep/gui/SessionManagerEvent.java @ 424:1e58479b4170

TestEditor selectionKeys fix.
author one
date Thu, 31 Dec 2009 23:00:55 +0900
parents 4b87f89b3afd
children
line wrap: on
line source

package rep.gui;

import rep.SessionManager;

public interface SessionManagerEvent {

	void exec(SessionManager manager);

}