Lines Matching refs:DefaultEditor
81 * if (editor instanceof DefaultEditor) {
82 * ((DefaultEditor)editor).getTextField().setValue(spinner.getValue();
233 * <li> <i>all others</i> => <code>JSpinner.DefaultEditor</code>
252 return new DefaultEditor(this);
513 if (oldEditor instanceof DefaultEditor) {
514 ((DefaultEditor)oldEditor).dismiss(this);
541 * If the editor is an instance of <code>DefaultEditor</code>, the
549 if (editor instanceof DefaultEditor) {
550 ((DefaultEditor)editor).commitEdit();
586 * <code>DefaultEditor.dismiss</code>, so if the developer
587 * replaces an editor that's derived from <code>JSpinner.DefaultEditor</code>
603 public static class DefaultEditor extends JPanel
608 * This <code>DefaultEditor</code> is it's own layout manager and
612 * and adds it to <code>this</code> <code>DefaultEditor</code>.
618 public DefaultEditor(JSpinner spinner) {
728 * may safely make <code>this</code> <code>DefaultEditor</code> a
944 public static class DateEditor extends DefaultEditor
1122 public static class NumberEditor extends DefaultEditor
1264 public static class ListEditor extends DefaultEditor
1531 if (editor instanceof DefaultEditor) {
1532 JTextField textField = ((DefaultEditor)editor).getTextField();