bundles/org.simantics.ui/src/org/simantics/ui/contribution/OpenWithMenuContribution.java

   1 /*******************************************************************************
   2  * Copyright (c) 2007, 2010 Association for Decentralized Information Management
   3  * in Industry THTH ry.
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Eclipse Public License v1.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.eclipse.org/legal/epl-v10.html
   8  *
   9  * Contributors:
  10  *     VTT Technical Research Centre of Finland - initial API and implementation
  11  *******************************************************************************/
  12 package org.simantics.ui.contribution;
  13
  14 import java.util.Arrays;
  15 import java.util.Comparator;
  16
  17 import org.eclipse.jface.action.ContributionItem;
  18 import org.eclipse.jface.action.IContributionItem;
  19 import org.eclipse.jface.resource.ImageDescriptor;
  20 import org.eclipse.jface.resource.JFaceResources;
  21 import org.eclipse.jface.resource.LocalResourceManager;
  22 import org.eclipse.jface.resource.ResourceManager;
  23 import org.eclipse.swt.SWT;
  24 import org.eclipse.swt.events.SelectionEvent;
  25 import org.eclipse.swt.events.SelectionListener;
  26 import org.eclipse.swt.widgets.Menu;
  27 import org.eclipse.swt.widgets.MenuItem;
  28 import org.simantics.db.ReadGraph;
  29 import org.simantics.db.Resource;
  30 import org.simantics.db.exception.DatabaseException;
  31 import org.simantics.ui.selection.WorkbenchSelectionUtils;
  32 import org.simantics.ui.workbench.action.ResourceEditorAdapterAction;
  33 import org.simantics.ui.workbench.editor.EditorAdapter;
  34 import org.simantics.ui.workbench.editor.EditorRegistry;
  35 import org.simantics.utils.strings.AlphanumComparator;
  36
  37
  38 /**
  39  * @author Tuukka Lehtonen
  40  */
  41 public class OpenWithMenuContribution extends DynamicMenuContribution {
  42
  43     private static final boolean DEBUG_ADAPTERS = false;
  44
  45     private ResourceManager resourceManager;
  46
  47     public OpenWithMenuContribution() {
  48         resourceManager = new LocalResourceManager(JFaceResources.getResources());
  49     }
  50
  51     @Override
  52     public void dispose() {
  53         if (resourceManager != null) {
  54             resourceManager.dispose();
  55             resourceManager = null;
  56         }
  57         super.dispose();
  58     }
  59
  60     protected Object extractResource(ReadGraph graph, Object object) throws DatabaseException {
  61         Resource resource = WorkbenchSelectionUtils.getPossibleResourceFromSelection(graph, object);
  62         return resource != null ? resource : object;
  63     }
  64
  65     @Override
  66     protected boolean preAcceptSelection(Object[] selection) {
  67         return selection.length == 1;
  68     }
  69
  70     @Override
  71     protected IContributionItem[] getContributionItems(ReadGraph graph, Object[] selection) throws DatabaseException {
  72         final Object r = extractResource(graph, selection[0]);
  73         final EditorAdapter[] editorAdapters = EditorRegistry.getInstance().getAdaptersFor(graph, r);
  74         if (editorAdapters.length == 0)
  75             return NONE;
  76
  77         return new IContributionItem[] {
  78                 new ContributionItem() {
  79                     @Override
  80                     public void fill(Menu menu, int index) {
  81                         MenuItem openWith = new MenuItem(menu, SWT.CASCADE, index);
  82                         openWith.setText("Open With");
  83                         openWith.setEnabled(editorAdapters.length > 0);
  84                         Menu subMenu = new Menu(menu);
  85                         openWith.setMenu(subMenu);
  86
  87                         if (editorAdapters.length > 0) {
  88                             // Sort the open with actions in descending priority order.
  89                             Adapter[] adapters = new Adapter[editorAdapters.length];
  90                             for (int i = 0; i < editorAdapters.length; i++)
  91                                 adapters[i] = new Adapter(editorAdapters[i], r, true);
  92                             Arrays.sort(adapters, new Comparator<Adapter>() {
  93                                 @Override
  94                                 public int compare(Adapter o1, Adapter o2) {
  95                                     int delta = o2.getPriority() - o1.getPriority();
  96                                     if (delta != 0)
  97                                         return delta;
  98                                     return AlphanumComparator.CASE_INSENSITIVE_COMPARATOR.compare(o1.getText(), o2.getText());
  99                                 }
 100                             });
 101
 102                             for (Adapter a : adapters)
 103                                 addMenuItem(subMenu, a, r);
 104                         }
 105                     }
 106                 }
 107         };
 108     }
 109
 110     private void addMenuItem(Menu subMenu, Adapter adapter, Object r) {
 111         MenuItem item = new MenuItem(subMenu, SWT.PUSH);
 112         String text = adapter.getText();
 113         if (DEBUG_ADAPTERS) {
 114             text = text + " (" + adapter.getAdapter().getClass().getCanonicalName() + ") [" + adapter.getPriority() + "]";
 115         }
 116         item.setText(text);
 117         ImageDescriptor descriptor = adapter.getImageDescriptor();
 118         if (descriptor != null) {
 119             item.setImage(resourceManager.createImage(descriptor));
 120         }
 121         item.addSelectionListener(adapter);
 122     }
 123
 124     static class Adapter extends ResourceEditorAdapterAction implements SelectionListener {
 125         boolean remember;
 126
 127         public Adapter(EditorAdapter adapter, Object r, boolean remember) {
 128             super(adapter, r);
 129             this.remember = remember;
 130         }
 131
 132         @Override
 133         public void widgetDefaultSelected(SelectionEvent e) {
 134             widgetSelected(e);
 135         }
 136
 137         @Override
 138         public void widgetSelected(SelectionEvent e) {
 139             run();
 140         }
 141
 142         @Override
 143         protected void safeRun() throws Exception {
 144             super.safeRun();
 145
 146             if (remember) {
 147                 // Make this choice the default for the next time.
 148                 EditorRegistry.getInstance().getMappings().put(getResource(), getAdapter());
 149             }
 150         }
 151     }
 152
 153 }