--- a/src/Tools/VSCode/src/vscode_rendering.scala Wed Jun 21 14:30:20 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala Wed Jun 21 14:56:44 2017 +0200
@@ -74,6 +74,15 @@
def resources: VSCode_Resources = model.resources
+ /* bibtex */
+
+ def bibtex_entries_iterator(): Iterator[Text.Info[(String, Document_Model)]] =
+ Bibtex.entries_iterator(resources.get_models)
+
+ def bibtex_completion(history: Completion.History, caret: Text.Offset): Option[Completion.Result] =
+ Bibtex.completion(history, rendering, caret, resources.get_models)
+
+
/* completion */
def completion(caret_pos: Line.Position, caret: Text.Offset): List[Protocol.CompletionItem] =
@@ -304,7 +313,7 @@
case (links, Text.Info(info_range, XML.Elem(Markup.Citation(name), _))) =>
val iterator =
for {
- Text.Info(entry_range, (entry, model)) <- resources.bibtex_entries_iterator()
+ Text.Info(entry_range, (entry, model)) <- bibtex_entries_iterator()
if entry == name
} yield Line.Node_Range(model.node_name.node, model.content.doc.range(entry_range))
if (iterator.isEmpty) None else Some((links /: iterator)(_ :+ _))