Searched refs:CAPTION_MARGIN_TOP (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/solaris/classes/sun/awt/X11/
H A DXPopupMenuPeer.java61 private final static int CAPTION_MARGIN_TOP = 4; field in class:XPopupMenuPeer
261 int height = CAPTION_MARGIN_TOP + fm.getHeight() + CAPTION_SEPARATOR_HEIGHT;
284 int texty = rect.y + CAPTION_MARGIN_TOP + fm.getAscent();

Completed in 29 milliseconds