src/Tools/jEdit/src/jedit/ProverSetup.scala
changeset 34629 fdc1087a970f
parent 34624 5e4f33d033ba
child 34632 f044d8446ae9
equal deleted inserted replaced
34628:7d16987b73de 34629:fdc1087a970f
    35   def activate(view: View)
    35   def activate(view: View)
    36   {
    36   {
    37     prover = new Prover(Isabelle.system, Isabelle.default_logic)
    37     prover = new Prover(Isabelle.system, Isabelle.default_logic)
    38     prover.start() // start actor
    38     prover.start() // start actor
    39     val buffer = view.getBuffer
    39     val buffer = view.getBuffer
    40     val path = buffer.getPath
       
    41 
    40 
    42     theory_view = new TheoryView(view.getTextArea, prover)
    41     theory_view = new TheoryView(view.getTextArea, prover)
    43     prover.set_document(theory_view.change_receiver,
    42     prover.set_document(theory_view.change_receiver, buffer.getName)
    44       if (path.startsWith(VFS.PREFIX)) path.substring(VFS.PREFIX.length)
       
    45       else path)
       
    46     theory_view.activate
    43     theory_view.activate
    47     val MAX = TheoryView.MAX_CHANGE_LENGTH
    44     val MAX = TheoryView.MAX_CHANGE_LENGTH
    48     for (i <- 0 to buffer.getLength / MAX) {
    45     for (i <- 0 to buffer.getLength / MAX) {
    49       prover ! new isabelle.proofdocument.Text.Change(
    46       prover ! new isabelle.proofdocument.Text.Change(
    50         Isabelle.system.id(), i * MAX,
    47         Isabelle.system.id(), i * MAX,