package org.python.pydev.outline; import org.eclipse.core.runtime.ListenerList; import org.eclipse.core.runtime.SafeRunner; import org.eclipse.jface.util.SafeRunnable; import org.eclipse.jface.viewers.ISelection; import org.eclipse.jface.viewers.ISelectionChangedListener; import org.eclipse.jface.viewers.SelectionChangedEvent; import org.eclipse.jface.viewers.StructuredSelection; import org.eclipse.jface.viewers.TreeViewer; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; import org.eclipse.ui.dialogs.FilteredTree; import org.eclipse.ui.dialogs.PatternFilter; import org.eclipse.ui.part.IPageSite; import org.eclipse.ui.part.Page; import org.eclipse.ui.views.contentoutline.IContentOutlinePage; import org.python.pydev.utils.PyFilteredTree; /** * Base class for a viewer with a tree viewer and a filter. * * Based on the ContentOutlinePage. */ public abstract class ContentOutlinePageWithFilter extends Page implements IContentOutlinePage, ISelectionChangedListener { private ListenerList selectionChangedListeners = new ListenerList(); protected TreeViewer treeViewer; protected PatternFilter patternFilter; protected FilteredTree filter; public void createControl(Composite parent) { patternFilter = new PatternFilter(); filter = PyFilteredTree.create(parent, patternFilter, false); treeViewer = filter.getViewer(); treeViewer.addSelectionChangedListener(this); } public void init(IPageSite pageSite) { super.init(pageSite); pageSite.setSelectionProvider(this); } // Selection --------------------------------------------------------------- public void addSelectionChangedListener(ISelectionChangedListener listener) { selectionChangedListeners.add(listener); } public void removeSelectionChangedListener(ISelectionChangedListener listener) { selectionChangedListeners.remove(listener); } public void selectionChanged(SelectionChangedEvent event) { fireSelectionChanged(event.getSelection()); } protected void fireSelectionChanged(ISelection selection) { final SelectionChangedEvent event = new SelectionChangedEvent(this, selection); Object[] listeners = selectionChangedListeners.getListeners(); for (int i = 0; i < listeners.length; ++i) { final ISelectionChangedListener l = (ISelectionChangedListener) listeners[i]; SafeRunner.run(new SafeRunnable() { public void run() { l.selectionChanged(event); } }); } } public ISelection getSelection() { if (treeViewer == null) { return StructuredSelection.EMPTY; } return treeViewer.getSelection(); } public Control getControl() { if (filter == null) { return null; } return filter; } protected TreeViewer getTreeViewer() { return treeViewer; } public void setFocus() { filter.getFilterControl().setFocus(); } public void setSelection(ISelection selection) { if (treeViewer != null) { treeViewer.setSelection(selection); } } }