src/Tools/jEdit/src/pretty_tooltip.scala

 
   /* popup */
 
   private val popup =
   {
-    val screen = JEdit_Lib.screen_location(layered, location)
+    val screen = GUI.screen_location(layered, location)
     val size =
     {
       val bounds = JEdit_Rendering.popup_bounds
 
       val w_max = layered.getWidth min (screen.bounds.width * bounds).toInt