public static class ConfigurableGraphElement_UI.ConfigurableTransition_UI extends ConfigurableGraphElement_UI<Transition>
ConfigurableGraphElement_UI.ConfigurableArc_UI, ConfigurableGraphElement_UI.ConfigurablePlace_UI, ConfigurableGraphElement_UI.ConfigurableTransition_UI
config_allow, config_block, config_default, config_skip, definesValuesForGroup
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
Constructor and Description |
---|
ConfigurableTransition_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<Transition> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
ConfigurableGraphElementFeature<Transition> |
getConfigured() |
getDefaultValue, getPossibleValues, initializeFeatureOptionsPanel, setValues
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
public ConfigurableTransition_UI(javax.swing.JComponent root, ConfigurableGraphElementFeature<Transition> feature, int line_height)
public ConfigurableGraphElementFeature<Transition> getConfigured() throws InvalidConfigurationException
InvalidConfigurationException