diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-13 12:53:42 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-13 12:53:42 +0000 |
| commit | 5ff648901344393d50f2ee549eec793cf373d27d (patch) | |
| tree | 7aad982bc02e8514f1f9bb2b45046673d20e33fd /src | |
| parent | 09ce38742c5232c048857cb1fa18936782ba8fa1 (diff) | |
WebUI: show error when depth/limit has invalid value
Diffstat (limited to 'src')
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/QueryPanel.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/QueryPanel.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/QueryPanel.java index 7f1396542..25a278650 100644 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/QueryPanel.java +++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/QueryPanel.java @@ -110,6 +110,7 @@ public class QueryPanel extends Composite { depth = Integer.parseInt(depthBox.getText()); limit = Integer.parseInt(limitBox.getText()); } catch (NumberFormatException e) { + statusPopup.showError("Invalid depth/limit parameter", e); return; } |
