Fix Issue 472: Cannot paste in "Port" field of "Connect to REPL" dialog

cemerick · Nov 15, 2012 · 83f0fd8 · 83f0fd8
1 parent d4b95e3
commit 83f0fd8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ccw.core/src/java/ccw/repl/ConnectDialog.java b/ccw.core/src/java/ccw/repl/ConnectDialog.java
@@ -48,7 +48,8 @@ protected Control createDialogArea(Composite parent) {
         port = new Text(parent, SWT.BORDER);
         port.addVerifyListener(new VerifyListener() {
 			public void verifyText(VerifyEvent e) {
-				e.doit = (e.text.equals("") || Character.isDigit(e.character));
+				String newText = port.getText().substring(0, e.start) + e.text + port.getText().substring(e.end);
+				e.doit = newText.matches("\\d*");
 			}
 		});