diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java index eab037b23..69ab3b6f7 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -589,7 +589,18 @@ public class Translator { } public List lookupMorpho(String sentence) { - return getSourceConcr().lookupMorpho(sentence); + List ans = getSourceConcr().lookupMorpho(sentence); + Collections.sort(ans, new Comparator() { + public int compare(MorphoAnalysis a1, MorphoAnalysis a2) { + if (a1.getProb() > a2.getProb()) + return 1; + else if (a1.getProb() < a2.getProb()) + return -1; + else + return 0; + } + }); + return ans; } public CompletionInfo[] lookupWordPrefix(String prefix) {