Searched refs:DefaultEditor (Results 1 - 8 of 8) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/
H A DSynthSpinnerUI.java75 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();
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)edito
[all...]
/openjdk7/jdk/src/share/classes/javax/swing/colorchooser/
H A DSlidingSpinner.java31 import javax.swing.JSpinner.DefaultEditor;
51 DefaultEditor editor = (DefaultEditor) this.spinner.getEditor();
H A DColorPanel.java40 import javax.swing.JSpinner.DefaultEditor;
138 DefaultEditor editor = (DefaultEditor) this.spinners[i].getSpinner().getEditor();
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/
H A DBasicSpinnerUI.java160 if (editor != null && editor instanceof JSpinner.DefaultEditor) {
161 JTextField tf = ((JSpinner.DefaultEditor)editor).getTextField();
183 if (editor instanceof JSpinner.DefaultEditor) {
184 JTextField tf = ((JSpinner.DefaultEditor)editor).getTextField();
415 if (editor instanceof JSpinner.DefaultEditor) {
418 JTextField text = ((JSpinner.DefaultEditor)editor).getTextField();
976 if (oldEditor instanceof JSpinner.DefaultEditor) {
978 ((JSpinner.DefaultEditor)oldEditor).getTextField();
984 if (newEditor instanceof JSpinner.DefaultEditor) {
986 ((JSpinner.DefaultEditor)newEdito
[all...]
/openjdk7/jdk/src/share/classes/javax/swing/
H A DJSpinner.java81 * if (editor instanceof DefaultEditor) {
82 * ((DefaultEditor)editor).getTextField().setValue(spinner.getValue();
233 * <li> <i>all others</i> =&gt; <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
603 public static class DefaultEditor extends JPanel class in class:JSpinner
618 public DefaultEditor(JSpinner spinner) { method in class:JSpinner.DefaultEditor
[all...]
/openjdk7/jdk/src/macosx/classes/com/apple/laf/
H A DAquaSpinnerUI.java37 import javax.swing.JSpinner.DefaultEditor;
228 if (!(editor instanceof DefaultEditor)) return;
237 final JFormattedTextField editorTextField = ((DefaultEditor)editor).getTextField();
648 if (editor != null && editor instanceof JSpinner.DefaultEditor) {
650 ((JSpinner.DefaultEditor) editor).getTextField();
668 if (element instanceof JSpinner.DefaultEditor) {
669 final JTextField tf = ((JSpinner.DefaultEditor)element).getTextField();
/openjdk7/hotspot/agent/src/share/classes/sun/jvm/hotspot/bugspot/
H A DBugSpot.java937 class DefaultEditor implements Editor { class in class:BugSpot
945 public DefaultEditor(DefaultEditorFactory fact, String filename, final EditorCommands comm) { method in class:BugSpot.DefaultEditor
957 comm.windowClosed(DefaultEditor.this);
960 factory.editorClosed(DefaultEditor.this);
965 factory.makeEditorCurrent(DefaultEditor.this);
1003 DefaultEditor editor = new DefaultEditor(this, filename, editorComm);
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/
H A DGTKColorChooserPanel.java241 if (editor instanceof JSpinner.DefaultEditor) {
242 JFormattedTextField ftf = ((JSpinner.DefaultEditor)editor).

Completed in 52 milliseconds