com.jgoodies.looks.plastic

Class PlasticSpinnerUI

Known Direct Subclasses:
PlasticXPSpinnerUI

public class PlasticSpinnerUI
extends BasicSpinnerUI

The JGoodies Plastic Look&Feel implementation of 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.6 $
Author:
Karsten Lentzsch

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.

Method Details

createEditor

protected JComponent createEditor()
This method is called by installUI to get the editor component of the 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

createLayout

protected LayoutManager createLayout()
Create a 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.

createUI

public static ComponentUI createUI(JComponent b)

replaceEditor

protected void replaceEditor(JComponent oldEditor,
                             JComponent newEditor)
Called by the 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:
createEditor(), PlasticSpinnerUI

Copyright © 2001-2008 JGoodies Karsten Lentzsch. All Rights Reserved.