view rep/gui/SessionManagerEvent.java @ 450:21cb16b7f3df

block message in Editor.write()
author one
date Thu, 23 Sep 2010 18:15:37 +0900
parents 4b87f89b3afd
children
line wrap: on
line source

package rep.gui;

import rep.SessionManager;

public interface SessionManagerEvent {

	void exec(SessionManager manager);

}