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/graphview_dockable.scala
changeset 64621 7116f2634e32
parent 61176 9791f631c20d
child 65131 5d35f4bccfa7 
--- a/src/Tools/jEdit/src/graphview_dockable.scala	Tue Dec 20 18:11:42 2016 +0100
+++ b/src/Tools/jEdit/src/graphview_dockable.scala	Tue Dec 20 21:35:56 2016 +0100
@@ -68,7 +68,7 @@
           {
             Pretty_Tooltip.invoke(() =>
               {
-                val rendering = Rendering(snapshot, options)
+                val rendering = JEdit_Rendering(snapshot, options)
                 val info = Text.Info(Text.Range(~1), body)
                 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
               })
isabelle