Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
DSelectionHandle.java34 public final static int PIXEL_RADIUS = 3; field in SelectionHandle
DSelectionOverlay.java236 int radius = SelectionHandle.PIXEL_RADIUS; in paintSelection()
DSelectionManager.java24 import static com.android.ide.eclipse.adt.internal.editors.layout.gle2.SelectionHandle.PIXEL_RADIUS;
1112 int distance = (int) ((PIXEL_MARGIN + PIXEL_RADIUS) / mCanvas.getScale()); in findHandle()