Lines Matching refs:JSpinner
36 * {@link javax.swing.JSpinner}.
59 * @param c the JSpinner (not used)
75 if (editor instanceof JSpinner.DefaultEditor) {
76 JTextField tf = ((JSpinner.DefaultEditor)editor).getTextField();
91 if (editor instanceof JSpinner.DefaultEditor) {
92 JTextField tf = ((JSpinner.DefaultEditor)editor).getTextField();
100 * Initializes the <code>JSpinner</code> <code>border</code>,
123 private void updateStyle(JSpinner c) {
139 * Sets the <code>JSpinner's</code> layout manager to null. This
193 * of the <code>JSpinner</code>. By default it just returns
194 * <code>JSpinner.getEditor()</code>. Subclasses can override
197 * the editor to the <code>JSpinner</code> in an
205 * editor is changed with <code>JSpinner.setEditor</code>. If you've
212 * @see JSpinner#getEditor
225 * <code>JSpinner</code> editor property changes. It's the responsibility
242 if (oldEditor instanceof JSpinner.DefaultEditor) {
243 JTextField tf = ((JSpinner.DefaultEditor)oldEditor).getTextField();
248 if (newEditor instanceof JSpinner.DefaultEditor) {
249 JTextField tf = ((JSpinner.DefaultEditor)newEditor).getTextField();
257 if (editor instanceof JSpinner.DefaultEditor) {
261 JTextField text = ((JSpinner.DefaultEditor)editor).getTextField();
446 JSpinner spinner = (JSpinner)(e.getSource());