2c76a90a7c17fbac2a9e0267c4086a111fdaa519
[Mograsim.git] / SampleERCP / plugin.xml
1 <?xml version="1.0" encoding="UTF-8"?>\r
2 <?eclipse version="3.4"?>\r
3 <plugin>\r
4    <extension-point id="splashExtension" name="%extension-point.name" schema="schema/splashExtension.exsd"/>\r
5 \r
6    <extension\r
7          id="product"\r
8          point="org.eclipse.core.runtime.products">\r
9       <product\r
10             application="org.eclipse.e4.ui.workbench.swt.E4Application"\r
11             name="Simulator WIP">\r
12          <property\r
13                name="applicationCSS"\r
14                value="platform:/plugin/mograsim.rcp/css/default.css">\r
15          </property>\r
16          <property\r
17                name="appName"\r
18                value="Simulator WIP">\r
19          </property>\r
20          <property\r
21                name="windowImages"\r
22                value="icons/app/ico_16t.png,icons/app/ico_32t.png,icons/app/ico_48t.png,icons/app/ico_64t.png,icons/app/ico_128t.png,icons/app/ico_256t.png">\r
23          </property>\r
24          <property\r
25                name="aboutText"\r
26                value="Example">\r
27          </property>\r
28       </product>\r
29    </extension>\r
30    <extension\r
31          point="org.eclipse.ui.splashHandlers">\r
32       <splashHandler\r
33             class="mograsim.rcp.splashhandlers.ExtensibleSplashHandler"\r
34             id="mograsim.rcp.splashHandlers.extensible">\r
35       </splashHandler>\r
36       <splashHandlerProductBinding\r
37             productId="mograsim.rcp.product"\r
38             splashId="mograsim.rcp.splashHandlers.extensible">\r
39       </splashHandlerProductBinding>\r
40    </extension>\r
41    <extension\r
42          point="mograsim.rcp.splashExtension">\r
43       <splashExtension\r
44             icon="icons/af.png"\r
45             id="af"\r
46             tooltip="Application Framework">\r
47       </splashExtension>\r
48       <splashExtension\r
49             icon="icons/embedded.png"\r
50             id="embedded"\r
51             tooltip="Embedded">\r
52       </splashExtension>\r
53       <splashExtension\r
54             icon="icons/enterprise.png"\r
55             id="enterprise"\r
56             tooltip="Enterprise">\r
57       </splashExtension>\r
58       <splashExtension\r
59             icon="icons/languages.png"\r
60             id="languages"\r
61             tooltip="Languages">\r
62       </splashExtension>\r
63       <splashExtension\r
64             icon="icons/rcp.png"\r
65             id="rcp"\r
66             tooltip="RCP">\r
67       </splashExtension>\r
68    </extension>\r
69 \r
70 </plugin>\r