Home
last modified time | relevance | path

Searched defs:extent (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
DRenderPreview.java982 Point extent = gc.textExtent(displayName); in paintTitle() local
1014 Point extent = gc.textExtent(fileName); in paintTitle() local
DGCWrapper.java398 org.eclipse.swt.graphics.Point extent = getGc().stringExtent(s.toString()); in drawBoxedStrings() local