Mercurial > hg > de.codedo.java.editor

comparison 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
comparison
equal deleted inserted replaced
7:fe67b0af9b23 8:778c251baa66
16 id="org.eclipse.jdt.ui.CompilationUnitEditor" 16 id="org.eclipse.jdt.ui.CompilationUnitEditor"
17 name="Java editor with custom icon" 17 name="Java editor with custom icon"
18 symbolicFontName="org.eclipse.jdt.ui.editors.textfont"> 18 symbolicFontName="org.eclipse.jdt.ui.editors.textfont">
19 </editor> 19 </editor>
20 </extension> 20 </extension>
21 <extension 21 <extension point="org.eclipse.ui.commands">
22 point="org.eclipse.ui.commands">
23 <command 22 <command
24 id="de.codedo.java.editor.command.toggleTitleImage" 23 id="de.codedo.java.editor.command.toggleTitleImage"
25 name="Toggle editor icon"> 24 name="Toggle editor icon">
26 </command> 25 </command>
27 </extension> 26 </extension>
28 <extension 27 <extension point="org.eclipse.ui.handlers">
29 point="org.eclipse.ui.handlers">
30 <handler 28 <handler
31 class="de.codedo.java.editor.ToggleEditorIconHandler" 29 class="de.codedo.java.editor.ToggleEditorIconHandler"
32 commandId="de.codedo.java.editor.command.toggleTitleImage"> 30 commandId="de.codedo.java.editor.command.toggleTitleImage">
33 </handler> 31 </handler>
34 </extension> 32 </extension>
35 <extension 33 <extension point="org.eclipse.ui.menus">
36 point="org.eclipse.ui.menus">
37 <menuContribution 34 <menuContribution
38 locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions"> 35 locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
39 <toolbar 36 <toolbar id="de.codedo.java.editor.toolbar">
40 id="de.codedo.java.editor.toolbar">
41 <command 37 <command
42 commandId="de.codedo.java.editor.command.toggleTitleImage" 38 commandId="de.codedo.java.editor.command.toggleTitleImage"
43 icon="icons/icon.png" 39 icon="icons/icon.png"
44 id="de.codedo.java.editor.command.toolbar.toggleTitleImage" 40 id="de.codedo.java.editor.command.toolbar.toggleTitleImage"
45 style="push" 41 style="push"
46 tooltip="Toggle editor icon"> 42 tooltip="Toggle editor icon">
47 </command> 43 </command>
48 </toolbar> 44 </toolbar>
49 </menuContribution> 45 </menuContribution>
50 </extension> 46 </extension>
51
52 </plugin> 47 </plugin>