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/Pure/Thy/bibtex.scala
changeset 72729 83411077c37b
parent 72652 07edf1952ab1
child 72756 72ac27ea12b2 
--- a/src/Pure/Thy/bibtex.scala	Thu Nov 26 17:23:33 2020 +0100
+++ b/src/Pure/Thy/bibtex.scala	Thu Nov 26 17:32:43 2020 +0100
@@ -191,7 +191,7 @@
     models: Map[A, B]): Option[Completion.Result] =
   {
     for {
-      Text.Info(r, name) <- rendering.citation(rendering.before_caret_range(caret))
+      Text.Info(r, name) <- rendering.citations(rendering.before_caret_range(caret)).headOption
       name1 <- Completion.clean_name(name)
 
       original <- rendering.model.get_text(r)
isabelle