Give higher relevance to autocomplations that startWith the seed text

acardona · acardona · commit 033a23f41636 · 2022-02-12T15:58:01.000Z
over those that merely contain the seed.
diff --git a/src/main/java/sc/fiji/jython/autocompletion/JythonAutoCompletions.java b/src/main/java/sc/fiji/jython/autocompletion/JythonAutoCompletions.java
@@ -258,7 +258,7 @@ public List<Completion> completionsFor(final CompletionProvider provider, String
 			final String lowerCaseSeed = seed.toLowerCase();
 			List<Completion> list = da.get().stream()
 					.filter(s -> s.getReplacementText().toLowerCase().contains(lowerCaseSeed))
-					.map(s -> s.getCompletion(provider, pre + s.getReplacementText()))
+					.map(s -> s.getCompletion(provider, pre + s.getReplacementText(), s.getReplacementText().startsWith(seed) ? 1 : 0))
 					.collect(Collectors.toList());
 			sortCompletions(list, seed);
 			return list;
