com.jgoodies.looks.plastic
public class PlasticSpinnerUI extends BasicSpinnerUI
SpinnerUI
.
Configures the default editor to adjust font baselines and component
bounds. Also, changes the border of the buttons and the size of the arrows.
Version: $Revision: 1.4 $
Method Summary | |
---|---|
protected JComponent | createEditor()
This method is called by installUI to get the editor component
of the JSpinner . |
protected LayoutManager | createLayout()
Create a LayoutManager that manages the editor ,
nextButton , and previousButton children
of the JSpinner. |
static ComponentUI | createUI(JComponent b) |
protected void | replaceEditor(JComponent oldEditor, JComponent newEditor)
Called by the PropertyChangeListener when the
JSpinner editor property changes. |
JSpinner
. By default it just returns
JSpinner.getEditor()
. Subclasses can override
createEditor
to return a component that contains
the spinner's editor or null, if they're going to handle adding
the editor to the JSpinner
in an
installUI
override.
Typically this method would be overridden to wrap the editor with a container with a custom border, since one can't assume that the editors border can be set directly.
The replaceEditor
method is called when the spinners
editor is changed with JSpinner.setEditor
. If you've
overriden this method, then you'll probably want to override
replaceEditor
as well.
Returns: the JSpinners editor JComponent, spinner.getEditor() by default
See Also: PlasticSpinnerUI PlasticSpinnerUI JSpinner#getEditor
LayoutManager
that manages the editor
,
nextButton
, and previousButton
children
of the JSpinner. These three children must be added with a constraint
that identifies their role: "Editor", "Next", and "Previous". The
default layout manager can handle the absence of any of these children.
Returns: a LayoutManager for the editor, next button, and previous button.
See Also: PlasticSpinnerUI PlasticSpinnerUI PlasticSpinnerUI
PropertyChangeListener
when the
JSpinner
editor property changes. It's the responsibility
of this method to remove the old editor and add the new one. By
default this operation is just:
spinner.remove(oldEditor); spinner.add(newEditor, "Editor");The implementation of
replaceEditor
should be coordinated
with the createEditor
method.
See Also: PlasticSpinnerUI PlasticSpinnerUI