Searched refs:workbench (Results 1 – 3 of 3) sorted by relevance
30 org.eclipse.ui.workbench.texteditor_3.6.1.r361_v20100714-0800 \
163 IWorkbench workbench = PlatformUI.getWorkbench(); in getWorkbenchView() local164 IWorkbenchWindow[] windows = workbench.getWorkbenchWindows(); in getWorkbenchView()
474 public void init(IWorkbench workbench) { in init() argument