From c406cb5c325249519d176efaf7826e7cbef7d40c Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Thu, 13 Mar 2014 15:41:01 +0100 Subject: [PATCH] increase size of text field --- .../src/de/prob/eventb/disprover/ui/DisproverPreferences.java | 1 + 1 file changed, 1 insertion(+) diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java index 6e32ed67..f2f8e38d 100644 --- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java +++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java @@ -66,6 +66,7 @@ public class DisproverPreferences extends PreferencePage implements timeoutTextField = new Text(pageComponent, SWT.NONE); int timeout = prefNode.getInt("timeout", 1000); timeoutTextField.setText(Integer.toString(timeout)); + timeoutTextField.setSize(100, timeoutTextField.getSize().y); timeoutTextField.addVerifyListener(new VerifyListener() { @Override public void verifyText(VerifyEvent e) { -- GitLab