Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
DRenderPreview.java115 private static final int HEADER_HEIGHT = 20; field in RenderPreview
777 if (y >= mTitleHeight && y < mTitleHeight + HEADER_HEIGHT) { in click()
894 gc.drawText(msg, x + 5, y + HEADER_HEIGHT, true); in paint()
916 gc.fillRectangle(left, y, x + width - left, HEADER_HEIGHT); in paint()