src/Tools/jEdit/lib/Tools/jedit

   "src/isabelle_options.scala"
   "src/isabelle_sidekick.scala"
   "src/jedit_editor.scala"
   "src/jedit_lib.scala"
   "src/jedit_options.scala"
+  "src/jedit_rendering.scala"
   "src/jedit_resources.scala"
   "src/jedit_sessions.scala"
   "src/keymap_merge.scala"
   "src/monitor_dockable.scala"
   "src/output_dockable.scala"

   "src/pretty_tooltip.scala"
   "src/process_indicator.scala"
   "src/protocol_dockable.scala"
   "src/query_dockable.scala"
   "src/raw_output_dockable.scala"
-  "src/rendering.scala"
   "src/rich_text_area.scala"
   "src/scala_console.scala"
   "src/session_build.scala"
   "src/simplifier_trace_dockable.scala"
   "src/simplifier_trace_window.scala"