Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/vscode_rendering.scala
changeset 66157 cb57fcdbaf70
parent 66153 236339f97a88
child 66159 907720561c82 
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Tue Jun 20 21:41:59 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Wed Jun 21 21:10:51 2017 +0200
@@ -108,7 +108,7 @@
         if (no_completion) Nil
         else {
           val results =
-            Completion.Result.merges(history,
+            Completion.Result.merge(history,
               semantic_completion,
               syntax_completion,
               VSCode_Spell_Checker.completion(rendering, caret),
isabelle