Mercurial > hg > de.codedo.java.editor

annotate plugin.xml @ 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 <?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>