src/Tools/jEdit/src/graphview_dockable.scala

 package isabelle.jedit
 
 
 import isabelle._
 
-import javax.swing.{SwingUtilities, JComponent}
+import javax.swing.JComponent
 import java.awt.Point
 import java.awt.event.{WindowFocusListener, WindowEvent}
 
 import org.gjt.sp.jedit.View
 

           override def make_tooltip(parent: JComponent, x: Int, y: Int, body: XML.Body): String =
           {
             Pretty_Tooltip.invoke(() =>
               {
                 val rendering = Rendering(snapshot, PIDE.options.value)
-                val screen_point = new Point(x, y)
-                SwingUtilities.convertPointToScreen(screen_point, parent)
                 val info = Text.Info(Text.Range(~1), body)
-                Pretty_Tooltip(view, parent, rendering, screen_point, Command.Results.empty, info)
+                Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
               })
             null
           }
         }
       case Exn.Exn(exn) => new TextArea(Exn.message(exn))