diff options
| author | Markus Keller | 2015-03-03 10:43:29 +0000 |
|---|---|---|
| committer | Markus Keller | 2015-03-03 10:43:29 +0000 |
| commit | 1331ede4483a90896d1b932d7d059ef5f8ce0f20 (patch) | |
| tree | a9fb1c9d050fea6aba2efd4b3bc188973c28800d | |
| parent | 3616f4ff7b2055470075697836d2a0773276ed8d (diff) | |
| download | eclipse.platform.ui-1331ede4483a90896d1b932d7d059ef5f8ce0f20.tar.gz eclipse.platform.ui-1331ede4483a90896d1b932d7d059ef5f8ce0f20.tar.xz eclipse.platform.ui-1331ede4483a90896d1b932d7d059ef5f8ce0f20.zip | |
Bug 461289: Bad theme "org.eclipse.ui.theme1", empty themeElementCategoryI20150303-0800
| -rw-r--r-- | bundles/org.eclipse.ui/plugin.xml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/bundles/org.eclipse.ui/plugin.xml b/bundles/org.eclipse.ui/plugin.xml index 501e0519126..bc219c3caca 100644 --- a/bundles/org.eclipse.ui/plugin.xml +++ b/bundles/org.eclipse.ui/plugin.xml @@ -2541,13 +2541,4 @@ 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> |