Package org.eclipse.ui.views.tasklist

Examples of org.eclipse.ui.views.tasklist.TaskList


                            PlatformUI.getWorkbench().
                            getActiveWorkbenchWindow().
                            getActivePage();

                    // The task view
                    final TaskList taskList =
                            currentTaskMarkers.length > 0 ? (TaskList)
                            activePage.showView(MarkerViewUtil.
                            getViewId(currentTaskMarkers[0])) : null;


                    Display.getCurrent().asyncExec(new Runnable() {
                        public void run() {
                            if (taskList != null) {
                                taskList.setSelection(new
                                        StructuredSelection(currentTaskMarkers),
                                        true);
                            }
                            if (currentProblemMarkers.length>0) {
                                MarkerViewUtil.showMarker(activePage,
View Full Code Here


                            getActiveWorkbenchWindow().
                            getActivePage();
                    IViewPart view =
                            activePage.
                            showView("org.eclipse.ui.views.TaskList");
                    final TaskList tasklist = (TaskList) view;
                    Display.getCurrent().asyncExec(new Runnable() {
                        public void run() {
                            tasklist.
                                    setSelection(new StructuredSelection(markers),
                                            true);
                        }
                    });
                } catch (CoreException e) {
View Full Code Here

TOP

Related Classes of org.eclipse.ui.views.tasklist.TaskList

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.