| package org.eclipse.ui.internal.provisional.views.markers; |
| |
| import org.eclipse.jface.action.ContributionItem; |
| import org.eclipse.jface.action.IContributionItem; |
| import org.eclipse.swt.SWT; |
| import org.eclipse.swt.widgets.Event; |
| import org.eclipse.swt.widgets.Listener; |
| import org.eclipse.swt.widgets.Menu; |
| import org.eclipse.swt.widgets.MenuItem; |
| import org.eclipse.ui.views.markers.internal.MarkerSupportRegistry; |
| |
| /** |
| * ContentsContribution is the class that defines the content selection |
| * contribution for the {@link ExtendedMarkersView}. |
| * |
| * @since 3.4 |
| * |
| */ |
| public class ContentsContribution extends MarkersContribution { |
| |
| /** |
| * Create a new instance of the receiver. |
| */ |
| public ContentsContribution() { |
| super(); |
| } |
| |
| /* |
| * (non-Javadoc) |
| * |
| * @see org.eclipse.ui.actions.CompoundContributionItem#getContributionItems() |
| */ |
| protected IContributionItem[] getContributionItems() { |
| |
| MarkerContentGenerator[] generators = MarkerSupportRegistry |
| .getInstance().getGenerators(); |
| IContributionItem[] items = new IContributionItem[generators.length]; |
| for (int i = 0; i < generators.length; i++) { |
| final MarkerContentGenerator generator = generators[i]; |
| items[i] = new ContributionItem() { |
| |
| /* |
| * (non-Javadoc) |
| * |
| * @see org.eclipse.jface.action.ContributionItem#fill(org.eclipse.swt.widgets.Menu, |
| * int) |
| */ |
| public void fill(Menu menu, int index) { |
| MenuItem item = new MenuItem(menu, SWT.CHECK); |
| item.setText(generator.getName()); |
| ExtendedMarkersView view = getView(); |
| item.addListener(SWT.Selection, getMenuItemListener( |
| generator, view)); |
| if (view != null && view.isShowing(generator)) |
| item.setSelection(true); |
| } |
| |
| /** |
| * Create a menu listener for the generator and the view. |
| * |
| * @param generator |
| * @param view |
| * @return Listener |
| */ |
| private Listener getMenuItemListener( |
| final MarkerContentGenerator generator, |
| final ExtendedMarkersView view) { |
| return new Listener() { |
| /* |
| * (non-Javadoc) |
| * |
| * @see org.eclipse.swt.widgets.Listener#handleEvent(org.eclipse.swt.widgets.Event) |
| */ |
| public void handleEvent(Event event) { |
| if (view != null) |
| view.setContentGenerator(generator); |
| } |
| }; |
| } |
| }; |
| } |
| return items; |
| } |
| } |