equal
deleted
inserted
replaced
45 |
45 |
46 class TheoryView (text_area: JEditTextArea, document_actor: Actor) |
46 class TheoryView (text_area: JEditTextArea, document_actor: Actor) |
47 extends TextAreaExtension with BufferListener |
47 extends TextAreaExtension with BufferListener |
48 { |
48 { |
49 |
49 |
50 def id() = Isabelle.plugin.id() |
50 def id() = Isabelle.system.id() |
51 |
51 |
52 private val buffer = text_area.getBuffer |
52 private val buffer = text_area.getBuffer |
53 private val prover = Isabelle.prover_setup(buffer).get.prover |
53 private val prover = Isabelle.prover_setup(buffer).get.prover |
54 buffer.addBufferListener(this) |
54 buffer.addBufferListener(this) |
55 |
55 |