proper Text.Range.offside (NB: in Scala ~1 == -2);

--- 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