Home
last modified time | relevance | path

Searched refs:PIXEL_MARGIN (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/
DSelectionHandle.java40 public final static int PIXEL_MARGIN = 2; field in SelectionHandle
DSelectionManager.java23 import static com.android.ide.eclipse.adt.internal.editors.layout.gle2.SelectionHandle.PIXEL_MARGIN;
1112 int distance = (int) ((PIXEL_MARGIN + PIXEL_RADIUS) / mCanvas.getScale()); in findHandle()