Hi, I sent patch for review: https://git.eclipse.org/r/25787 I’m not sure if I should escape preference values (# or \# in css). I’ll perform some tests tonight and probably merge this patch.
-- Dawid Pakuła +48 795 996 064 From: Jacek Pospychała [email protected] Reply: PDT Developers [email protected] Date: 30 kwietnia 2014 at 07:13:42 To: PDT Developers [email protected] Subject: [pdt-dev] Fwd: [cross-project-issues-dev] Contribute project styling for the dark theme anyone willing to add dark theme to PDT editor? looks like low hanging fruit ---------- Forwarded message ---------- From: Lars Vogel <[email protected]> Date: Wed, Apr 30, 2014 at 6:28 AM Subject: [cross-project-issues-dev] Contribute project styling for the dark theme To: [email protected] 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] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev _______________________________________________ pdt-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/pdt-dev
_______________________________________________ pdt-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/pdt-dev
