diff options
Diffstat (limited to 'bundles/org.eclipse.ui/plugin.xml')
| -rw-r--r-- | bundles/org.eclipse.ui/plugin.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bundles/org.eclipse.ui/plugin.xml b/bundles/org.eclipse.ui/plugin.xml index e24b3a06eb9..a2c4071c6e1 100644 --- a/bundles/org.eclipse.ui/plugin.xml +++ b/bundles/org.eclipse.ui/plugin.xml @@ -2541,4 +2541,13 @@ id="31.SystemPage"> </page> </extension> + <extension + point="org.eclipse.ui.themes"> + <theme + id="org.eclipse.ui.theme1"> + </theme> + <themeElementCategory + id="org.eclipse.ui.themeElementCategory1"> + </themeElementCategory> + </extension> </plugin> |