1.1 --- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sat Jan 10 18:10:14 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Jan 11 13:15:05 2009 +0100
     1.3 @@ -71,11 +71,6 @@
     1.4        }
     1.5      })
     1.6  
     1.7 -    //register for theory-view
     1.8 -
     1.9 -    // could also use this:
    1.10 -    // prover.commandInfo.add(c => Isabelle.theory_view.repaint(c.command))
    1.11 -
    1.12    }
    1.13  
    1.14    def deactivate {