public class SimpleSettingsPanel
extends javax.swing.JPanel
SettingsUi
.
This panel provides a header and center pane.
The header already contains a two labels lblHead
and lblSubhead
with appropriate fonts.
The pCenter
can be used to add create a settings dialog.
Holds various factory methods for creating input components which can be validated.
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected javax.swing.JLabel |
lblHead |
protected javax.swing.JLabel |
lblSubhead |
protected javax.swing.JPanel |
pCenter |
protected javax.swing.Box |
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 |
SimpleSettingsPanel() |
Modifier and Type | Method and Description |
---|---|
protected javax.swing.JCheckBox |
createCheckBox(java.lang.String title,
boolean value,
Validator<java.lang.Boolean> validator) |
static javax.swing.JLabel |
createHelpLabel(java.lang.String s) |
protected javax.swing.JFormattedTextField |
createNumberFormattedTextField(java.text.Format format,
Validator<java.lang.String> validator) |
protected javax.swing.JSpinner |
createNumberTextField(int min,
int max,
int step,
Validator<java.lang.Integer> validator) |
protected <T> javax.swing.JSpinner |
createNumberTextField(javax.swing.SpinnerModel model,
Validator<T> validator) |
protected javax.swing.JScrollPane |
createTextArea(java.lang.String text,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
createTextField(java.lang.String text,
Validator<java.lang.String> validator) |
protected void |
demarkComponentAsErrornous(javax.swing.JComponent component) |
protected void |
markComponentAsErrornous(javax.swing.JComponent component,
java.lang.String error) |
void |
setHeaderText(java.lang.String text) |
void |
setSubHeaderText(java.lang.String text) |
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 javax.swing.Box pNorth
protected javax.swing.JPanel pCenter
protected javax.swing.JLabel lblHead
protected javax.swing.JLabel lblSubhead
public void setHeaderText(java.lang.String text)
public void setSubHeaderText(java.lang.String text)
protected void demarkComponentAsErrornous(javax.swing.JComponent component)
protected void markComponentAsErrornous(javax.swing.JComponent component, java.lang.String error)
protected javax.swing.JCheckBox createCheckBox(java.lang.String title, boolean value, @Nullable Validator<java.lang.Boolean> validator)
protected javax.swing.JScrollPane createTextArea(java.lang.String text, Validator<java.lang.String> validator)
protected javax.swing.JTextField createTextField(java.lang.String text, @Nullable Validator<java.lang.String> validator)
protected javax.swing.JFormattedTextField createNumberFormattedTextField(java.text.Format format, @Nullable Validator<java.lang.String> validator)
protected javax.swing.JSpinner createNumberTextField(int min, int max, int step, @Nullable Validator<java.lang.Integer> validator)
protected <T> javax.swing.JSpinner createNumberTextField(javax.swing.SpinnerModel model, @Nullable Validator<T> validator)
public static javax.swing.JLabel createHelpLabel(java.lang.String s)
Copyright © 2003-2019 The KeY-Project.