Searched defs:DefaultEditor (Results 1 - 2 of 2) sorted by relevance

/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/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...]

Completed in 57 milliseconds