org.grinvin.graphbrowser
Class InvariantListComponent
JList
org.grinvin.graphbrowser.InvariantListComponent
- HasInvariantList
public class InvariantListComponent
extends JList
List component with entries of type
Invariant
. Provides drag support
for invariants. Dropping is not allowed.
TRANSFER_HANDLER
protected static final LocalTransferHandler TRANSFER_HANDLER
InvariantListComponent
public InvariantListComponent(InvariantListModel model)
Creates a new instance of InvariantListComponent
deleteSelectedElements
public void deleteSelectedElements()
Delete currently selected elements.