--- a/src/Pure/Thy/bibtex.scala Fri Jul 08 20:06:53 2022 +0200
+++ b/src/Pure/Thy/bibtex.scala Fri Jul 08 20:24:05 2022 +0200
@@ -206,7 +206,7 @@
val full_name = Long_Name.qualify(Markup.CITATION, entry)
val description = List(entry, "(BibTeX entry)")
val replacement = quote(entry)
- Completion.Item(r, original, full_name, description, replacement, 0, false)
+ Completion.Item(r, original, full_name, description, replacement, 0, false)
}).sorted(history.ordering).take(rendering.options.int("completion_limit"))
} yield Completion.Result(r, original, false, items)
}