Hi Greg,
Thanks for contacting us and apologies for the delay.
Please file a new bug, state your plans there and possibly hook the bugs
that you listed in.
Add me to the cc.
We can discuss everything on the bug.
Best regards,
Wim
On Fri, 7 Dec 2018, 20:06 Greg Amerson Hello platform-dev,
>
This is noise. As said before. Let's discuss in the bug report.
Dani
From: Wim Jongman
To: "Eclipse platform general developers list."
Date: 14.12.2018 19:42
Subject:Re: [platform-dev] Proposal for StyledText
Sent by:platform-dev-boun...@eclipse.org
Hey,
I think t
Hey,
I think that the switch should be a style bit. WDYT?
Best regards,
Wim
On Fri, 14 Dec 2018, 16:06 Daniel Megert Hi Laurent
>
> We look forward for such a contribution. As mentioned before, StyledText
> is a custom widget, hence it should be doable for all platforms. I agree
> that it sho
Hi Laurent
We look forward for such a contribution. As mentioned before, StyledText
is a custom widget, hence it should be doable for all platforms. I agree
that it should be disabled by default, and I also agree that we can
discuss this further in the bug report.
> For the moment, I'm gonna c
