equal
deleted
inserted
replaced
84 val line = buffer.getLineOfOffset(caret) |
84 val line = buffer.getLineOfOffset(caret) |
85 val start = buffer.getLineStartOffset(line) |
85 val start = buffer.getLineStartOffset(line) |
86 val text = buffer.getSegment(start, caret - start) |
86 val text = buffer.getSegment(start, caret - start) |
87 |
87 |
88 val completion = |
88 val completion = |
89 Isabelle.prover_setup(buffer).map(_.prover.completion).getOrElse(Isabelle.completion) |
89 Isabelle.prover_setup(buffer).map(_.prover.completion()).getOrElse(Isabelle.completion) |
90 |
90 |
91 completion.complete(text) match { |
91 completion.complete(text) match { |
92 case None => null |
92 case None => null |
93 case Some((word, cs)) => |
93 case Some((word, cs)) => |
94 val ds = |
94 val ds = |