com.jgoodies.looks.plastic

Class PlasticSpinnerUI

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.4 $

Author: Karsten Lentzsch

Method Summary
protected JComponentcreateEditor()
This method is called by installUI to get the editor component of the JSpinner.
protected LayoutManagercreateLayout()
Create a LayoutManager that manages the editor, nextButton, and previousButton children of the JSpinner.
static ComponentUIcreateUI(JComponent b)
protected voidreplaceEditor(JComponent oldEditor, JComponent newEditor)
Called by the PropertyChangeListener when the JSpinner editor property changes.

Method Detail

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

See Also: PlasticSpinnerUI PlasticSpinnerUI JSpinner#getEditor

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.

See Also: PlasticSpinnerUI PlasticSpinnerUI PlasticSpinnerUI

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: PlasticSpinnerUI PlasticSpinnerUI

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