src/Pure/Tools/bibtex.scala
changeset 67014 e6a695d6a6b2
parent 66152 18e1aba549f6
child 67203 85784e16bec8
equal deleted inserted replaced
67013:335a7dce7cb3 67014:e6a695d6a6b2
    50   {
    50   {
    51     for {
    51     for {
    52       Text.Info(r, name) <- rendering.citation(rendering.before_caret_range(caret))
    52       Text.Info(r, name) <- rendering.citation(rendering.before_caret_range(caret))
    53       name1 <- Completion.clean_name(name)
    53       name1 <- Completion.clean_name(name)
    54 
    54 
    55       original <- rendering.model.try_get_text(r)
    55       original <- rendering.model.get_text(r)
    56       original1 <- Completion.clean_name(Library.perhaps_unquote(original))
    56       original1 <- Completion.clean_name(Library.perhaps_unquote(original))
    57 
    57 
    58       entries =
    58       entries =
    59         (for {
    59         (for {
    60           Text.Info(_, (entry, _)) <- entries_iterator(models)
    60           Text.Info(_, (entry, _)) <- entries_iterator(models)