OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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