src/Tools/jEdit/src/completion_popup.scala
changeset 58767 30766b5fd0e1
parent 58592 b0fff34d3247
child 59074 7836d927ffca
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Wed Oct 22 17:30:58 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Wed Oct 22 17:34:01 2014 +0200
     1.3 @@ -303,7 +303,7 @@
     1.4          if (loc1 != null) {
     1.5            val loc2 =
     1.6              SwingUtilities.convertPoint(painter,
     1.7 -              loc1.x, loc1.y + painter.getFontMetrics.getHeight, layered)
     1.8 +              loc1.x, loc1.y + painter.getLineHeight, layered)
     1.9  
    1.10            val items = result.items.map(new Item(_))
    1.11            val completion =