src/Tools/jEdit/src/jedit/ProverSetup.scala

 
     theory_view = new TheoryView(view.getTextArea)
     prover.set_document(theory_view,
         if (dir.startsWith(Isabelle.VFS_PREFIX)) dir.substring(Isabelle.VFS_PREFIX.length) else dir)
     theory_view.activate
+
+    //register output-view
     prover.output_info += (text =>
       {
         output_text_view.append(text)
         val dockable = view.getDockableWindowManager.getDockable("isabelle-output")
         //link process output if dockable is active

           state_panel.setDocument(null: Document)
         else
           state_panel.setDocument(state.results_xml, UserAgent.baseURL)
       }
     })
+  
+    // one independent token marker per prover
+    val token_marker = new DynamicTokenMarker
+    buffer.setTokenMarker(token_marker)
+
+    // register for new declarations
+    prover.decl_info += (pair => pair match {case (a,b) => token_marker += (a,b)})
 
   }
 
   def deactivate {
+    buffer.setTokenMarker(buffer.getMode.getTokenMarker)
     theory_view.deactivate
     prover.stop
   }
 
 }