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/pretty_tooltip.scala
changeset 72974 3afd293347cc
parent 71704 b9a5eb0f3b43
child 73340 0ffcad1f6130 
--- a/src/Tools/jEdit/src/pretty_tooltip.scala	Mon Dec 21 21:53:12 2020 +0100
+++ b/src/Tools/jEdit/src/pretty_tooltip.scala	Mon Dec 21 21:56:20 2020 +0100
@@ -243,7 +243,7 @@
 
   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
isabelle