changeset 67014 | e6a695d6a6b2 |
parent 66152 | 18e1aba549f6 |
child 67203 | 85784e16bec8 |
--- a/src/Pure/Tools/bibtex.scala Sun Nov 05 17:45:17 2017 +0100 +++ b/src/Pure/Tools/bibtex.scala Mon Nov 06 16:03:13 2017 +0100 @@ -52,7 +52,7 @@ Text.Info(r, name) <- rendering.citation(rendering.before_caret_range(caret)) name1 <- Completion.clean_name(name) - original <- rendering.model.try_get_text(r) + original <- rendering.model.get_text(r) original1 <- Completion.clean_name(Library.perhaps_unquote(original)) entries =