de.jreality.toolsystem

Interface ToolEventReceiver