| Summary: | Remove redundant themes on Parts Tabs | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Philippe Dul <philippe.dul> |
| Component: | UI | Assignee: | Philippe Dul <philippe.dul> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | Lars.Vogel |
| Version: | 4.16 | ||
| Target Milestone: | 4.16 M3 | ||
| Hardware: | PC | ||
| OS: | Windows 10 | ||
| See Also: |
https://git.eclipse.org/r/160769 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=f4de1c9c68355d9d75b817cba8e342f8b96e4555 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 562007 | ||
|
Description
Philippe Dul
New Gerrit change created: https://git.eclipse.org/r/160769 Thanks Philippe Gerrit change https://git.eclipse.org/r/160769 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=f4de1c9c68355d9d75b817cba8e342f8b96e4555 |