MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

use PortField

Browse Source
This commit is contained in:
Vladimir Krivosheev
2013-10-22 20:18:31 +02:00
parent efb4101728
commit eb09709e0d
1 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/PortField.java
+12 -4
View File
@@ -22,8 +22,16 @@ public class PortField extends JSpinner {
this(0);
}
public PortField(int number) {
setModel(new SpinnerNumberModel(number, 0, 65535, 1));
public PortField(int value) {
this(value, 0);
}
public void setMin(int value) {
((SpinnerNumberModel)getModel()).setMinimum(value);
}
public PortField(int value, int min) {
setModel(new SpinnerNumberModel(value, min, 65535, 1));
setEditor(new NumberEditor(this, "#"));
}
@@ -31,8 +39,8 @@ public class PortField extends JSpinner {
((NumberEditor)getEditor()).getTextField().setEditable(value);
}
public void setNumber(int number) {
setValue(number);
public void setNumber(int value) {
setValue(value);
}
public int getNumber() {