Class PlasticSpinnerUI

Direct Known 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.13 $
  • Constructor Details

    • PlasticSpinnerUI

      public PlasticSpinnerUI()
  • Method Details

    • createUI

      public static ComponentUI createUI(JComponent b)
    • createArrowButton

      protected Component createArrowButton(int direction)
    • 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.
      Overrides:
      createLayout in class BasicSpinnerUI
      Returns:
      a LayoutManager for the editor, next button, and previous button.
      See Also:
    • 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.

      Overrides:
      createEditor in class BasicSpinnerUI
      Returns:
      the JSpinners editor JComponent, spinner.getEditor() by default
      See Also:
    • 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.
      Overrides:
      replaceEditor in class BasicSpinnerUI
      See Also:
    • configureEditorBorder

      private static void configureEditorBorder(JComponent editor)
      Sets an empty border with the default text insets.