Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/output_dockable.scala
changeset 64621 7116f2634e32
parent 62259 7afbd7fc32fd
child 65190 0dd2ad9dbfc2 
--- a/src/Tools/jEdit/src/output_dockable.scala	Tue Dec 20 18:11:42 2016 +0100
+++ b/src/Tools/jEdit/src/output_dockable.scala	Tue Dec 20 21:35:56 2016 +0100
@@ -66,7 +66,7 @@
 
     val new_output =
       if (!restriction.isDefined || restriction.get.contains(new_command)) {
-        val rendering = Rendering(new_snapshot, PIDE.options.value)
+        val rendering = JEdit_Rendering(new_snapshot, PIDE.options.value)
         rendering.output_messages(new_results)
       }
       else current_output
isabelle