diff options
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; } |