From 93b4d6a3984f711643794cb88b8b3abd0a57dce7 Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 24 Oct 2008 14:22:19 +0000 Subject: [PATCH] GWT: hide stale suggestions. --- src/server/gwt/.classpath | 2 +- .../gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/server/gwt/.classpath b/src/server/gwt/.classpath index 75a628f90..2a4886461 100644 --- a/src/server/gwt/.classpath +++ b/src/server/gwt/.classpath @@ -3,5 +3,5 @@ - + diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java index fbeceb483..743f6238b 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/CompletionOracle.java @@ -60,6 +60,9 @@ public class CompletionOracle extends SuggestOracle { // only allow a single completion request at a time if (JSONRequest != null) JSONRequest.cancel(); + + // hack: first report no completions, to hide suggestions until we get the new completions + callback.onSuggestionsReady(request, new SuggestOracle.Response(new ArrayList())); JSONRequest = pgf.complete(request.getQuery(), getInputLangs(), null, request.getLimit(), new PGF.CompleteCallback() {