created dummy editors for event-b machine + context files and for

classical-b machine files (should be replaced by correct editors)

de.prob.standalone/META-INF/MANIFEST.MF

@@ -15,6 +15,7 @@ Require-Bundle: org.eclipse.ui,
  org.eclipse.ui.navigator.resources;bundle-version="3.4.1",
  org.eclipse.ui.ide;bundle-version="3.5.1",
  org.eclipse.ui.ide.application;bundle-version="1.0.101",
- org.eclipse.ui.intro
+ org.eclipse.ui.intro,
+ org.eclipse.ui.editors;bundle-version="3.7.0"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: J2SE-1.5

de.prob.standalone/plugin.xml

@@ -424,6 +424,36 @@
            service="de.prob.standalone.internal.ClassicalBLanguageService">
      </language>
   </extension>
+  <extension
+        point="org.eclipse.ui.editors">
+     <editor
+           class="org.eclipse.ui.editors.text.TextEditor"
+           contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+           default="true"
+           extensions="bum"
+           icon="icons/eventb/mch_obj.png"
+           id="de.prob.standalone.editor.eventb.machine"
+           name="Event-B Machine Editor">
+     </editor>
+     <editor
+           class="org.eclipse.ui.editors.text.TextEditor"
+           contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+           default="true"
+           extensions="buc"
+           icon="icons/eventb/ctx_obj.png"
+           id="de.prob.standalone.editor.eventb.context"
+           name="Event-B Context Editor">
+     </editor>
+     <editor
+           class="org.eclipse.ui.editors.text.TextEditor"
+           contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+           default="true"
+           extensions="mch"
+           icon="icons/icon16.png"
+           id="de.prob.standalone.editor.classicalb.machine"
+           name="Classical-B Machine Editor">
+     </editor>       
+  </extension>
    
    
 </plugin>

de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java

@@ -11,25 +11,9 @@ import org.eclipse.jface.viewers.ILabelProvider;
 import org.eclipse.jface.viewers.ILabelProviderListener;
 import org.eclipse.swt.graphics.Image;
 
-import de.prob.standalone.Activator;
-
 public class ProBNavigatorLabelProvider implements ILabelProvider {
 
 	public Image getImage(final Object element) {
-		// TODO: (LL) Needs to be improved
-		if (element instanceof IFile) {
-			IFile file = (IFile) element;
-			if (file.getFileExtension().equals("bum")) {
-				return Activator.getImageDescriptor("icons/eventb/mch_obj.png")
-						.createImage();
-			} else if (file.getFileExtension().equals("buc")) {
-				return Activator.getImageDescriptor("icons/eventb/ctx_obj.png")
-						.createImage();
-			} else if (file.getFileExtension().equals("mch")) {
-				return Activator.getImageDescriptor("icons/icon16.png")
-						.createImage();
-			}
-		}
 		return null;
 	}