Home
last modified time | relevance | path

Searched refs:hovered (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/
DRenderPreviewManager.java1430 RenderPreview hovered = getPreview(mousePos); in moved() local
1431 if (hovered != mActivePreview) { in moved()
1435 mActivePreview = hovered; in moved()