changeset 72856 | 3a27e6f83ce1 |
parent 72836 | ec61e1767689 |
child 72957 | 75fc90edc0a8 |
--- a/src/Pure/Thy/bibtex.scala Wed Dec 09 14:29:30 2020 +0100 +++ b/src/Pure/Thy/bibtex.scala Wed Dec 09 15:14:24 2020 +0100 @@ -196,7 +196,7 @@ Text.Info(r, name) <- rendering.citations(rendering.before_caret_range(caret)).headOption name1 <- Completion.clean_name(name) - original <- rendering.model.get_text(r) + original <- rendering.get_text(r) original1 <- Completion.clean_name(Library.perhaps_unquote(original)) entries =