T
- node type of this ConfigurableIntegerFeature
public abstract class ConfigurableIntegerFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement> extends ConfigurableFeature_UI<T,java.lang.Integer> implements java.awt.event.FocusListener
ConfigurableIntegerFeature
Modifier and Type | Class and Description |
---|---|
static class |
ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI |
static class |
ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI |
Modifier and Type | Field and Description |
---|---|
protected org.processmining.framework.util.ui.widgets.ProMTextField |
maxValue |
protected org.processmining.framework.util.ui.widgets.ProMTextField |
minValue |
protected com.fluxicon.slickerbox.components.NiceIntegerSlider |
slider |
BACKGROUND_ACTIVE, BACKGROUND_INACTIVE
Constructor and Description |
---|
ConfigurableIntegerFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<T> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
void |
focusGained(java.awt.event.FocusEvent e) |
void |
focusLost(java.awt.event.FocusEvent e) |
protected void |
initializeFeatureOptionsPanel(javax.swing.JPanel optionsPanel) |
void |
setValues(ConfigurableFeature<?,?> input)
Fill controls of this panel based on the values in the feature.
|
protected void |
updateSliderFromMinMax() |
getConfiguredElement, handlePanelIsActive, handlePanelIsInActive, initializeOptionsPanel, installFeatureRemoveHandler
getId, getPanel, getRoot, initialize, setId, setIdEditable, setRoot, showOptions
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getConfigured
protected com.fluxicon.slickerbox.components.NiceIntegerSlider slider
protected org.processmining.framework.util.ui.widgets.ProMTextField minValue
protected org.processmining.framework.util.ui.widgets.ProMTextField maxValue
public ConfigurableIntegerFeature_UI(javax.swing.JComponent root, ConfigurableIntegerFeature<T> feature, int line_height)
protected void initializeFeatureOptionsPanel(javax.swing.JPanel optionsPanel)
initializeFeatureOptionsPanel
in class ConfigurableFeature_UI<T extends org.processmining.models.graphbased.directed.DirectedGraphElement,java.lang.Integer>
public void setValues(ConfigurableFeature<?,?> input)
Structured_UI
setValues
in interface Structured_UI<ConfigurableFeature<?,?>,ConfigurableFeature<?,?>>
public void focusGained(java.awt.event.FocusEvent e)
focusGained
in interface java.awt.event.FocusListener
public void focusLost(java.awt.event.FocusEvent e)
focusLost
in interface java.awt.event.FocusListener
protected void updateSliderFromMinMax()