BTW, love how easy this is. Thanks guys! Doug.
________________________________ From: [email protected] [[email protected]] on behalf of Lars Vogel [[email protected]] Sent: Tuesday, May 06, 2014 2:43 PM To: Cross project issues Subject: Re: [cross-project-issues-dev] Contribute project styling for the dark theme See https://bugs.eclipse.org/bugs/show_bug.cgi?id=433605 or https://git.eclipse.org/r/26006 for a example for JDT 2014-05-05 10:22 GMT+02:00 Daniel Rolka <[email protected]<mailto:[email protected]>>: Hi Doug, > Is there documentation on how to do that? I'm going to prepare the WIKI page with details about the styling of the preferences via CSS by the end of the week. I will send the link to the mailing groups thanks, Daniel From: Doug Schaefer <[email protected]<mailto:[email protected]>> To: Cross project issues <[email protected]<mailto:[email protected]>>, Date: 04/30/2014 05:31 PM Subject: Re: [cross-project-issues-dev] Contribute project styling for the dark theme Sent by: [email protected]<mailto:[email protected]> ________________________________ One of the bugs mentioned there's a way for plug-ins to extend the theme. I'd rather non-Eclipse Project projects, like CDT, do it this way. Is there documentation on how to do that? I couldn't quite figure it out from yours and Tom's comments. Thanks, Doug. ________________________________ From: [email protected]<mailto:[email protected]> [[email protected]<mailto:[email protected]>] on behalf of Lars Vogel [[email protected]<mailto:[email protected]>] Sent: Wednesday, April 30, 2014 12:28 AM To: [email protected]<mailto:[email protected]> Subject: [cross-project-issues-dev] Contribute project styling for the dark theme Hi, in the recent integration builds (or M7) the platform team supports styling of UI related properties. This allows projects to contribute reasonable defaults for syntax highlighting for the integrated dark theme. See the attached files. xml-editor.png shows how a not styled editor would look like and colorsyntaxhightlighs.png shows the styled Java editor. I could like to encourage projects to contribute their settings to the dark theme. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=433475 for the general discussion and https://bugs.eclipse.org/bugs/show_bug.cgi?id=433605 for an example how to style JDT (which I plan to contribute for RC1, via 433605). For several projects I created already bugs to contribute that. If you are interested, please create a bug and add it to 433475. Best regards, Lars _______________________________________________ cross-project-issues-dev mailing list [email protected]<mailto:[email protected]> https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev _______________________________________________ cross-project-issues-dev mailing list [email protected]<mailto:[email protected]> https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
_______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
