Mercurial > hg > de.codedo.java.editor

annotate plugin.xml @ 8:778c251baa66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
author Dirk Olmes <dirk.olmes@codedo.de>
date Thu, 15 Oct 2020 09:43:34 +0200
parents dd4ab3c8d143
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 <?xml version="1.0" encoding="UTF-8"?>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
2 <?eclipse version="3.4"?>
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 <plugin>
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 <extension
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 point="org.eclipse.ui.editors">
2
79c8c1f9fd7d use the same ID for the editor as JDT does
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
6 <!--
79c8c1f9fd7d use the same ID for the editor as JDT does
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
7 This editor is a drop in for the JDT's java editor. To make sure it works seamlessly with the rest of
79c8c1f9fd7d use the same ID for the editor as JDT does
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
8 JDT it needs to be registered using the same ID as the JDT java editor.
79c8c1f9fd7d use the same ID for the editor as JDT does
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
9 -->
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
10 <editor
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 class="de.codedo.java.editor.CodedoJavaEditor"
5
dd4ab3c8d143 Use the same contributorClass as the JDT editor. This brings back the functionality of displaying the current line/column number in the status bar.
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 4
diff changeset
12 contributorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditorActionContributor"
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
13 default="false"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
14 filenames="*.java"
4
d42b86029389 use the default JDT icon for the java editor so the look and feel our editor is the same when it't not displaying the flagged icon
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 2
diff changeset
15 icon="icons/jcu_obj.gif"
2
79c8c1f9fd7d use the same ID for the editor as JDT does
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 0
diff changeset
16 id="org.eclipse.jdt.ui.CompilationUnitEditor"
5
dd4ab3c8d143 Use the same contributorClass as the JDT editor. This brings back the functionality of displaying the current line/column number in the status bar.
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 4
diff changeset
17 name="Java editor with custom icon"
dd4ab3c8d143 Use the same contributorClass as the JDT editor. This brings back the functionality of displaying the current line/column number in the status bar.
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 4
diff changeset
18 symbolicFontName="org.eclipse.jdt.ui.editors.textfont">
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
19 </editor>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
20 </extension>
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 5
diff changeset
21 <extension point="org.eclipse.ui.commands">
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
22 <command
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
23 id="de.codedo.java.editor.command.toggleTitleImage"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
24 name="Toggle editor 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
25 </command>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
26 </extension>
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 5
diff changeset
27 <extension point="org.eclipse.ui.handlers">
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
28 <handler
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
29 class="de.codedo.java.editor.ToggleEditorIconHandler"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
30 commandId="de.codedo.java.editor.command.toggleTitleImage">
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
31 </handler>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
32 </extension>
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 5
diff changeset
33 <extension point="org.eclipse.ui.menus">
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
34 <menuContribution
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
35 locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
8
778c251baa66 Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Dirk Olmes <dirk.olmes@codedo.de>
parents: 5
diff changeset
36 <toolbar id="de.codedo.java.editor.toolbar">
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
37 <command
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
38 commandId="de.codedo.java.editor.command.toggleTitleImage"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
39 icon="icons/icon.png"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
40 id="de.codedo.java.editor.command.toolbar.toggleTitleImage"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
41 style="push"
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
42 tooltip="Toggle editor 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
43 </command>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
44 </toolbar>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
45 </menuContribution>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
46 </extension>
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
47 </plugin>