Statistics
| Revision:

root / tmp / org.eclipse.ui.workbench / plugin.xml @ 132

History | View | Annotate | Download (1.7 kB)

1
<?xml version="1.0" encoding="UTF-8"?>
2
<?eclipse version="3.0"?>
3
<plugin>
4

    
5
     <extension
6
         point="org.eclipse.core.runtime.preferences">
7
      <initializer
8
            class="org.eclipse.ui.internal.WorkbenchPreferenceInitializer"/>
9
   </extension>
10
     <extension
11
           id="id1"
12
           point="org.eclipse.e4.workbench.model">
13
        <processor
14
              beforefragment="true"
15
              class="org.eclipse.ui.internal.CommandToModelProcessor">
16
        </processor>
17
        <processor
18
              beforefragment="true"
19
              class="org.eclipse.ui.internal.ContextToModelProcessor">
20
        </processor>
21
         <processor
22
              beforefragment="true"
23
              class="org.eclipse.ui.internal.BindingToModelProcessor">
24
        </processor>
25
         <processor
26
               beforefragment="true"
27
               class="org.eclipse.ui.internal.ModelMigrationProcessor">
28
         </processor>
29
     </extension>
30
   <extension
31
         point="org.eclipse.e4.ui.css.core.propertyHandler">
32
      <handler
33
            adapter="org.eclipse.e4.ui.css.swt.dom.CompositeElement"
34
            composite="false"
35
            handler="org.eclipse.e4.ui.workbench.addons.perspectiveswitcher.PerspectiveSwitcherCSSHandler">
36
         <property-name
37
               name="eclipse-perspective-keyline-color">
38
         </property-name>
39
         <property-name
40
               name="perspective-keyline-color"
41
               deprecated="renamed as eclipse-perspective-keyline-color">
42
         </property-name>
43
      </handler>
44
   </extension>
45
   <extension point="org.eclipse.ui.themes">
46
      <themeElementCategory
47
         id="org.eclipse.ui.themes.CssTheme"
48
         label="%Other.defined.by.css.label"/>
49
   </extension>
50
</plugin>