equal
deleted
inserted
replaced
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) |