equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <?eclipse version="3.4"?> |
|
3 <plugin> |
|
4 <extension |
|
5 point="org.eclipse.ui.editors"> |
|
6 <editor |
|
7 class="org.symbian.tools.wrttools.editing.html.HTMLEditor" |
|
8 contributorClass="org.eclipse.wst.html.ui.internal.edit.ui.ActionContributorHTML" |
|
9 default="false" |
|
10 icon="icons/obj16/html-editor.gif" |
|
11 id="org.symbian.tools.wrttools.editing.editor2" |
|
12 name="HTML Editor" |
|
13 symbolicFontName="org.eclipse.wst.sse.ui.textfont"> |
|
14 <contentTypeBinding |
|
15 contentTypeId="org.eclipse.wst.html.core.htmlsource"> |
|
16 </contentTypeBinding> |
|
17 </editor> |
|
18 </extension> |
|
19 <extension |
|
20 point="org.eclipse.ui.views"> |
|
21 <view |
|
22 allowMultiple="true" |
|
23 class="org.symbian.tools.wrttools.editing.preview.PreviewView" |
|
24 icon="icons/obj16/html-editor.gif" |
|
25 id="org.symbian.tools.wrttools.editing.wrtpreview" |
|
26 name="WRT Preview" |
|
27 restorable="true"> |
|
28 </view> |
|
29 </extension> |
|
30 |
|
31 </plugin> |