src/Tools/jEdit/lib/Tools/jedit

   "src/isabelle_rendering.scala"
   "src/isabelle_sidekick.scala"
   "src/jedit_thy_load.scala"
   "src/jedit_options.scala"
   "src/output_dockable.scala"
+  "src/output2_dockable.scala"
   "src/plugin.scala"
+  "src/pretty_text_area.scala"
   "src/protocol_dockable.scala"
   "src/raw_output_dockable.scala"
   "src/readme_dockable.scala"
   "src/scala_console.scala"
   "src/session_dockable.scala"