Merge remote-tracking branch 'upstream/master'

jline · Oct 14, 2019 · 226e89e · 226e89e
2 parents 2ae5901 + e7d15fd
commit 226e89e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/reader/src/main/java/org/jline/reader/impl/completer/StringsCompleter.java b/reader/src/main/java/org/jline/reader/impl/completer/StringsCompleter.java
@@ -48,6 +48,11 @@ public StringsCompleter(Candidate ... candidates) {
         this.candidates.addAll(Arrays.asList(candidates));
     }
 
+    public StringsCompleter(Collection<Candidate> candidates) {
+        assert candidates != null;
+        this.candidates.addAll(candidates);
+    }
+
     public void complete(LineReader reader, final ParsedLine commandLine, final List<Candidate> candidates) {
         assert commandLine != null;
         assert candidates != null;