# HG changeset patch
# User wenzelm
# Date 1498075460 -7200
# Node ID 907720561c82fe130883e401fdb865110559bb16
# Parent  ad83d4971dfe8523133b8af1d123f698f482ceb4
more completion;

diff -r ad83d4971dfe -r 907720561c82 src/Tools/VSCode/src/vscode_rendering.scala
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Wed Jun 21 21:55:07 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Wed Jun 21 22:04:20 2017 +0200
@@ -112,6 +112,7 @@
               semantic_completion,
               syntax_completion,
               VSCode_Spell_Checker.completion(rendering, caret),
+              path_completion(caret),
               bibtex_completion(history, caret))
           val items =
             results match {