Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/lint/
DLintList.java536 Event updateEvent = new Event(); in runInUIThread() local
537 updateEvent.widget = mTree; in runInUIThread()
538 mTree.notifyListeners(SWT.Selection, updateEvent); in runInUIThread()