equal
deleted
inserted
replaced
95 val history = Completion.History.empty |
95 val history = Completion.History.empty |
96 val caret_range = before_caret_range(caret) |
96 val caret_range = before_caret_range(caret) |
97 |
97 |
98 val syntax = model.syntax() |
98 val syntax = model.syntax() |
99 val syntax_completion = |
99 val syntax_completion = |
100 syntax.completion.complete(history, unicode = false, explicit = true, |
100 syntax.complete(history, unicode = false, explicit = true, |
101 line_start, doc.lines(line).text, caret - line_start, |
101 line_start, doc.lines(line).text, caret - line_start, |
102 language_context(caret_range) getOrElse syntax.language_context) |
102 language_context(caret_range) getOrElse syntax.language_context) |
103 |
103 |
104 val (no_completion, semantic_completion) = |
104 val (no_completion, semantic_completion) = |
105 rendering.semantic_completion_result( |
105 rendering.semantic_completion_result( |