Package org.graffiti.plugins.guis.switchselections

Class Summary

Class	Description
SelectionChangeAction	DOCUMENT ME!
SelectionMenu	A menu providing entries to manage selections.
SelectionSaveAction	Saves a selection as long as the session lives under some name.
SwitchSelectionsPlugin	Provides a spring embedder algorithm a la KK.