Community
Participate
Working Groups
Once Bug 515391 is fixed, we should adjust the dark theme.
New Gerrit change created: https://git.eclipse.org/r/96088
Gerrit change https://git.eclipse.org/r/96088 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=dadd02c36d593bb0751f16e6eb2051d95df5a360
Now that Bug 515391 should be fixed, this should work.
I think we should prefix the new property with swt- like the other eclipse specific properties. See https://wiki.eclipse.org/E4/CSS/SWT_Mapping Fabian, can you prepare a patch for RC1? (For the handler and the CSS).
New Gerrit change created: https://git.eclipse.org/r/97298
Gerrit change https://git.eclipse.org/r/97298 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=6a909f14b0813dab2c03d48ee8e0d613ff3d7938