Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [pdt-dev] Fwd: [cross-project-issues-dev] Contribute project styling for the dark theme

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 jacek.pospychala@xxxxxxxxx
Reply: PDT Developers pdt-dev@xxxxxxxxxxx
Date: 30 kwietnia 2014 at 07:13:42
To: PDT Developers pdt-dev@xxxxxxxxxxx
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 <lars.vogel@xxxxxxxxx>
Date: Wed, Apr 30, 2014 at 6:28 AM
Subject: [cross-project-issues-dev] Contribute project styling for the
dark theme
To: cross-project-issues-dev@xxxxxxxxxxx


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
cross-project-issues-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev

_______________________________________________
pdt-dev mailing list
pdt-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/pdt-dev

Back to the top