Searched refs:IntegerDocument (Results 1 – 4 of 4) sorted by relevance
108 this.topValueEditor = new JTextField(new IntegerDocument(), "" in InsetsChooserPanel()110 this.leftValueEditor = new JTextField(new IntegerDocument(), "" in InsetsChooserPanel()112 this.bottomValueEditor = new JTextField(new IntegerDocument(), "" in InsetsChooserPanel()114 this.rightValueEditor = new JTextField(new IntegerDocument(), "" in InsetsChooserPanel()
55 public class IntegerDocument extends PlainDocument { class
55 private class IntegerDocument extends PlainDocument { class in OptionsDialog58 public IntegerDocument(int max) { in IntegerDocument() method in OptionsDialog.IntegerDocument76 setDocument(new IntegerDocument(digits)); in IntegerTextField()690 ((MyJComboBox)compressionInput).setDocument(new IntegerDocument(1)); in createCompressionPanel()