equal
deleted
inserted
replaced
42 { |
42 { |
43 for { |
43 for { |
44 Text.Info(r, name) <- rendering.citation(JEdit_Lib.before_caret_range(text_area, rendering)) |
44 Text.Info(r, name) <- rendering.citation(JEdit_Lib.before_caret_range(text_area, rendering)) |
45 name1 <- Completion.clean_name(name) |
45 name1 <- Completion.clean_name(name) |
46 |
46 |
47 original <- JEdit_Lib.try_get_text(text_area.getBuffer, r) |
47 original <- rendering.model.try_get_text(r) |
48 original1 <- Completion.clean_name(Library.perhaps_unquote(original)) |
48 original1 <- Completion.clean_name(Library.perhaps_unquote(original)) |
49 |
49 |
50 entries = complete(name1).filter(_ != original1) |
50 entries = complete(name1).filter(_ != original1) |
51 if entries.nonEmpty |
51 if entries.nonEmpty |
52 |
52 |