File: plugin.xml

package info (click to toggle)
eclipse-platform-ui 4.29-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 90,576 kB
  • sloc: java: 802,823; xml: 24,911; makefile: 7
file content (48 lines) | stat: -rw-r--r-- 1,513 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>

   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            name="%Preferences.Undo"
            class="org.eclipse.ui.examples.undo.preferences.UndoPreferencePage"
            id="org.eclipse.ui.examples.undo.preferences.UndoPreferencePage">
      </page>
   </extension>
   <extension
         point="org.eclipse.core.runtime.preferences">
      <initializer
            class="org.eclipse.ui.examples.undo.preferences.PreferenceInitializer">
      </initializer>
   </extension>
   <extension
         point="org.eclipse.ui.views">
      <category
            name="%Views.Category"
            id="org.eclipse.ui.examples.undo">
      </category>
      <view
            name="%Views.boxView"
            icon="icons/sample.gif"
            category="org.eclipse.ui.examples.undo"
            class="org.eclipse.ui.examples.undo.views.BoxView"
            id="org.eclipse.ui.examples.undo.views.BoxView">
      </view>
   </extension>
   
         <extension
         point="org.eclipse.ui.views">
      <category
            name="%Views.Category"
            id="org.eclipse.ui.examples.undo"/>
      <view
            class="org.eclipse.ui.examples.undo.views.UndoHistoryView"
            icon="icons/sample.gif"
            category="org.eclipse.ui.examples.undo"
            name="%Views.historyView"
            id="org.eclipse.ui.examples.undo.views.UndoHistoryView"/>
   </extension>
   

</plugin>