public static class ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI extends ConfigurableIntegerFeature_UI<Place>
ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI, ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI
maxValue, minValue, slider
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
Constructor and Description |
---|
ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<Place> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
ConfigurableIntegerFeature<Place> |
getConfigured() |
focusGained, focusLost, initializeFeatureOptionsPanel, setValues, updateSliderFromMinMax
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
public ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root, ConfigurableIntegerFeature<Place> feature, int line_height)
public ConfigurableIntegerFeature<Place> getConfigured() throws InvalidConfigurationException
InvalidConfigurationException