| Summary: | Bad theme "org.eclipse.ui.theme1", empty themeElementCategory | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Markus Keller <markus.kell.r> |
| Component: | UI | Assignee: | Markus Keller <markus.kell.r> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | daniel_megert, Lars.Vogel, loskutov, markus.kell.r, noopur_gupta |
| Version: | 4.5 | ||
| Target Milestone: | 4.5 M6 | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Markus Keller
Thanks Noopur for finding this problem! Debugging hint: There's a "Show Contributing Plug-in" command (Alt+Shift+F3) that sometimes help finding the culprit. In this case, it showed org.eclipse.ui. Is this the same as bugĀ 456291? > Is this the same as bugĀ 456291? Partly. The empty category has been fixed, but bug 456291 also mentions another category. See bug 456291 comment 1. |