| Summary: | [CSS] PartRendereringEngine not triggered by CSS changes | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Simon Scholz <simon.scholz> | ||||
| Component: | UI | Assignee: | Simon Scholz <simon.scholz> | ||||
| Status: | VERIFIED FIXED | QA Contact: | |||||
| Severity: | critical | ||||||
| Priority: | P3 | CC: | Lars.Vogel | ||||
| Version: | 4.5 | ||||||
| Target Milestone: | 4.5 M6 | ||||||
| Hardware: | PC | ||||||
| OS: | All | ||||||
| See Also: |
https://git.eclipse.org/r/43795 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=1a8e2c9be826a222bef65fb84338c3c30fa9e183 |
||||||
| Whiteboard: | |||||||
| Bug Depends on: | 444412 | ||||||
| Bug Blocks: | |||||||
| Attachments: |
|
||||||
New Gerrit change created: https://git.eclipse.org/r/43795 Gerrit change https://git.eclipse.org/r/43795 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=1a8e2c9be826a222bef65fb84338c3c30fa9e183 Thanks Simon. Verified in 4.5.0.N20150315-1630 |
Created attachment 251527 [details] Dark theme without styled editor In the the recent build: Mars (4.5) Build id: I20150311-1300 the CSS styles are not applied to the Editor any more. Steps to reproduce. 1.) Use the recent build 2.) Open a java class in the Java Editor 3.) Change "Theme:" to dark. Preferences > General > Appearance This occurs at least on windows and linux.