Home
last modified time | relevance | path

Searched refs:fontHeight (Results 1 – 3 of 3) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.gldebugger/src/com/android/ide/eclipse/gltrace/editors/
DDurationMinimap.java440 public PositionHelper(int fontHeight, int contextCount, in PositionHelper() argument
449 mHeaderMargin = fontHeight * 3; in PositionHelper()
/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
DRenderPreview.java978 int fontHeight = gc.getFontMetrics().getHeight(); in paintTitle() local
1005 titleHeight += fontHeight; in paintTitle()
/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/assetstudio/
DConfigureAssetSetPage.java844 int fontHeight = new TextRenderUtil.Options().fontSize; in widgetSelected() local
854 mValues.setTextFont(new java.awt.Font(fontData.getName(), awtStyle, fontHeight)); in widgetSelected()