src/Tools/jEdit/src/isabelle.scala

       doc_view <- Document_View.get(text_area)
       rendering = doc_view.get_rendering()
       tip <- rendering.tooltip(caret_range, control)
       loc0 <- Option(text_area.offsetToXY(caret_range.start))
     } {
-      val loc = new Point(loc0.x, loc0.y + painter.getLineHeight / 2)
+      val loc = new Point(loc0.x, loc0.y + painter.getLineHeight * 3 / 4)
       val results = rendering.snapshot.command_results(tip.range)
       Pretty_Tooltip(view, painter, loc, rendering, results, tip)
     }
   }