From eb09709e0d74029477674889b5bf0ab4ecead8c8 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Tue, 22 Oct 2013 18:49:34 +0200
Subject: [PATCH] use PortField

---
 .../src/com/intellij/ui/PortField.java           | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/platform/platform-api/src/com/intellij/ui/PortField.java b/platform/platform-api/src/com/intellij/ui/PortField.java
index 5c96d6555f35..07e414960204 100644
--- a/platform/platform-api/src/com/intellij/ui/PortField.java
+++ b/platform/platform-api/src/com/intellij/ui/PortField.java
@@ -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() {