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 65131 5d35f4bccfa7
parent 64621 7116f2634e32
child 66114 c137a9f038a6 
--- a/src/Tools/jEdit/src/graphview_dockable.scala	Mon Mar 06 17:05:57 2017 +0100
+++ b/src/Tools/jEdit/src/graphview_dockable.scala	Mon Mar 06 17:08:51 2017 +0100
@@ -69,7 +69,7 @@
             Pretty_Tooltip.invoke(() =>
               {
                 val rendering = JEdit_Rendering(snapshot, options)
-                val info = Text.Info(Text.Range(~1), body)
+                val info = Text.Info(Text.Range.offside, body)
                 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
               })
             null
isabelle