view META-INF/MANIFEST.MF @ 1:f7d908568cfc

Install a custom JavaElementImageProvider subclass so that the custom title image stays in place even if the editor icon is decorated e.g. by error markers.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 13 Dec 2014 13:54:38 +0100
parents ca07a15b6cc8
children fe67b0af9b23
line wrap: on
line source

Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Java Editor with extra icon
Bundle-SymbolicName: de.codedo.java.editor;singleton:=true
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.codedo.java.editor.Activator
Bundle-Vendor: Dirk Olmes
Require-Bundle: org.eclipse.ui,
 org.eclipse.core.runtime,
 org.eclipse.ui.editors,
 org.eclipse.jface.text,
 org.eclipse.jdt.ui,
 org.eclipse.jdt.core,
 org.eclipse.core.resources
Bundle-RequiredExecutionEnvironment: JavaSE-1.7
Bundle-ActivationPolicy: lazy