Skip to content
Snippets Groups Projects
Commit c406cb5c authored by Sebastian Krings's avatar Sebastian Krings
Browse files

increase size of text field

parent d00782ef
Branches
No related tags found
No related merge requests found
......@@ -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) {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment