WebUI: show error when depth/limit has invalid value

2026-04-09 04:59:31 -06:00 · 2010-10-13 12:53:42 +00:00
parent 09ce38742c
commit 5ff6489013
1 changed files with 1 additions and 0 deletions
--- 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;
 				}