public abstract class SettingsPanel extends SimpleSettingsPanel
SimpleSettingsPanel
which uses MigLayout
to
create a nice three-column view.
Allows a simple building of the UI by defining several factory methods, e.g.
addTextField(String, String, String, Validator)
2019-04-08, weigl: rewrite to mig layout
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
lblHead, lblSubhead, pCenter, pNorth
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Modifier | Constructor and Description |
---|---|
protected |
SettingsPanel() |
Modifier and Type | Method and Description |
---|---|
protected javax.swing.JCheckBox |
addCheckBox(java.lang.String title,
java.lang.String info,
boolean value,
Validator<java.lang.Boolean> validator) |
protected <T> javax.swing.JComboBox<T> |
addComboBox(java.lang.String title,
java.lang.String info,
int selectionIndex,
Validator<T> validator,
T... items) |
protected javax.swing.JTextField |
addFileChooserPanel(java.lang.String title,
java.lang.String file,
java.lang.String info,
boolean isSave,
Validator<java.lang.String> validator) |
protected javax.swing.JSpinner |
addNumberField(java.lang.String title,
int min,
int max,
int step,
java.lang.String info,
Validator<java.lang.Integer> validator) |
protected void |
addRadioButtons(java.lang.String title,
java.util.List<?> alternatives,
java.lang.String description) |
protected void |
addRadioButtons(java.lang.String heading,
java.lang.Object[] alternatives,
java.lang.String description) |
protected void |
addRowWithHelp(java.lang.String info,
javax.swing.JComponent... components) |
protected void |
addSeparator(java.lang.String titleText)
Add a separator line with the given title.
|
protected javax.swing.JTextArea |
addTextArea(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
addTextField(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
addTextField(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator,
javax.swing.JComponent additionalActions) |
protected void |
addTitledComponent(java.lang.String title,
javax.swing.JComponent component,
java.lang.String helpText) |
protected static javax.swing.JTextArea |
createInfoArea(java.lang.String info) |
protected <T> javax.swing.JComboBox<T> |
createSelection(T[] elements,
Validator<T> validator) |
protected <T> Validator<T> |
emptyValidator()
Creates an empty validator instance.
|
createCheckBox, createHelpLabel, createNumberFormattedTextField, createNumberTextField, createNumberTextField, createTextArea, createTextField, demarkComponentAsErrornous, markComponentAsErrornous, setHeaderText, setSubHeaderText
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
protected static javax.swing.JTextArea createInfoArea(java.lang.String info)
info
- protected void addRowWithHelp(java.lang.String info, javax.swing.JComponent... components)
info
- components
- protected <T> javax.swing.JComboBox<T> createSelection(T[] elements, Validator<T> validator)
T
- elements
- validator
- protected javax.swing.JCheckBox addCheckBox(java.lang.String title, java.lang.String info, boolean value, Validator<java.lang.Boolean> validator)
title
- info
- value
- validator
- protected javax.swing.JTextField addFileChooserPanel(java.lang.String title, java.lang.String file, java.lang.String info, boolean isSave, Validator<java.lang.String> validator)
title
- file
- info
- isSave
- validator
- protected <T> javax.swing.JComboBox<T> addComboBox(java.lang.String title, java.lang.String info, int selectionIndex, @Nullable Validator<T> validator, T... items)
T
- info
- selectionIndex
- validator
- items
- protected void addTitledComponent(java.lang.String title, javax.swing.JComponent component, java.lang.String helpText)
title
- component
- helpText
- protected javax.swing.JTextArea addTextArea(java.lang.String title, java.lang.String text, java.lang.String info, Validator<java.lang.String> validator)
protected javax.swing.JTextField addTextField(java.lang.String title, java.lang.String text, java.lang.String info, Validator<java.lang.String> validator)
title
- text
- info
- validator
- protected javax.swing.JTextField addTextField(java.lang.String title, java.lang.String text, java.lang.String info, Validator<java.lang.String> validator, javax.swing.JComponent additionalActions)
protected javax.swing.JSpinner addNumberField(java.lang.String title, int min, int max, int step, java.lang.String info, Validator<java.lang.Integer> validator)
title
- min
- max
- step
- info
- validator
- protected void addRadioButtons(java.lang.String heading, java.lang.Object[] alternatives, java.lang.String description)
protected void addRadioButtons(java.lang.String title, java.util.List<?> alternatives, java.lang.String description)
protected void addSeparator(java.lang.String titleText)
titleText
- protected <T> Validator<T> emptyValidator()
T
- arbitraryCopyright © 2003-2019 The KeY-Project.