Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 462056

Summary: [CSS] PartRendereringEngine not triggered by CSS changes
Product: [Eclipse Project] Platform Reporter: Simon Scholz <simon.scholz>
Component: UIAssignee: 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:
Description Flags
Dark theme without styled editor none

Description Simon Scholz CLA 2015-03-13 05:46:52 EDT
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.
Comment 1 Eclipse Genie CLA 2015-03-13 09:34:25 EDT
New Gerrit change created: https://git.eclipse.org/r/43795
Comment 3 Lars Vogel CLA 2015-03-13 10:56:59 EDT
Thanks Simon.
Comment 4 Lars Vogel CLA 2015-03-16 19:55:04 EDT
Verified in 4.5.0.N20150315-1630