HomeSort by relevance Sort by last modified time
    Searched refs:PIXEL_MARGIN (Results 1 - 2 of 2) sorted by null

  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
SelectionHandle.java 40 public final static int PIXEL_MARGIN = 2;
SelectionManager.java 19 import static com.android.ide.eclipse.adt.internal.editors.layout.gle2.SelectionHandle.PIXEL_MARGIN;
    [all...]

Completed in 54 milliseconds