Mercurial > hg > de.codedo.java.editor

annotate META-INF/MANIFEST.MF @ 9:935df68696c0 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reflection Code in eigene Klasse verschoben.
author Dirk Olmes <dirk.olmes@codedo.de>
date Thu, 15 Oct 2020 12:05:06 +0200
parents 778c251baa66
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 Manifest-Version: 1.0
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 7
diff changeset
2 Automatic-Module-Name: de.codedo.java.editor
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
3 Bundle-ManifestVersion: 2
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
4 Bundle-Name: Java Editor with extra icon
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
5 Bundle-SymbolicName: de.codedo.java.editor;singleton:=true
9
935df68696c0 Reflection Code in eigene Klasse verschoben.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 8
diff changeset
6 Bundle-Version: 1.0.2.qualifier
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
7 Bundle-Activator: de.codedo.java.editor.Activator
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
8 Bundle-Vendor: Dirk Olmes
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
9 Require-Bundle: org.eclipse.ui,
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
10 org.eclipse.core.runtime,
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
11 org.eclipse.ui.editors,
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
12 org.eclipse.jface.text,
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
13 org.eclipse.jdt.ui,
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.
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
14 org.eclipse.jdt.core,
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.
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
15 org.eclipse.core.resources
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 7
diff changeset
16 Bundle-RequiredExecutionEnvironment: JavaSE-11
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
17 Bundle-ActivationPolicy: lazy