Package org.graffiti.plugins.guis.switchselections

Class Summary
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.
 



Generated at 2012-05-30 11:01:25 PM CEST