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/completion_popup.scala
changeset 58767 30766b5fd0e1
parent 58592 b0fff34d3247
child 59074 7836d927ffca 
--- a/src/Tools/jEdit/src/completion_popup.scala	Wed Oct 22 17:30:58 2014 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Oct 22 17:34:01 2014 +0200
@@ -303,7 +303,7 @@
         if (loc1 != null) {
           val loc2 =
             SwingUtilities.convertPoint(painter,
-              loc1.x, loc1.y + painter.getFontMetrics.getHeight, layered)
+              loc1.x, loc1.y + painter.getLineHeight, layered)
 
           val items = result.items.map(new Item(_))
           val completion =
isabelle