Re: [platform-dev] Proposal for StyledText

2018-12-16 Thread Wim Jongman
gt; > > > From:Lars Vogel > To:"Eclipse platform general developers list." < > platform-dev@eclipse.org> > Date: 15.12.2018 17:20 > Subject:Re: [platform-dev] Proposal for StyledText > Sent by:platform-dev-boun...@eclipse.org

Re: [platform-dev] Proposal for StyledText

2018-12-16 Thread Daniel Megert
018 17:20 Subject: Re: [platform-dev] Proposal for StyledText Sent by:platform-dev-boun...@eclipse.org +1, we should avoid unnecessary harsch comments in the future. A simple "Please let's discuss in the bug" would have served the same purpose. Am Sa., 15. Dez. 2018, 1

Re: [platform-dev] Proposal for StyledText

2018-12-15 Thread Lars Vogel
eneral developers list." < >> platform-dev@eclipse.org> >> Date:14.12.2018 19:42 >> Subject:Re: [platform-dev] Proposal for StyledText >> Sent by:platform-dev-boun...@eclipse.org >> -- >> >> >> &

Re: [platform-dev] Proposal for StyledText

2018-12-15 Thread Wim Jongman
clipse platform general developers list." < > platform-dev@eclipse.org> > Date: 14.12.2018 19:42 > Subject:Re: [platform-dev] Proposal for StyledText > Sent by:platform-dev-boun...@eclipse.org > -- > > > > Hey, >

Re: [platform-dev] Proposal for StyledText

2018-12-14 Thread Daniel Megert
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

Re: [platform-dev] Proposal for StyledText

2018-12-14 Thread Wim Jongman
t; From:Laurent Caron > To:platform-dev@eclipse.org > Date:13.12.2018 18:50 > Subject:Re: [platform-dev] Proposal for StyledText > Sent by:platform-dev-boun...@eclipse.org > -- > > > > Hi Mickael and Thomas, >

Re: [platform-dev] Proposal for StyledText

2018-12-14 Thread Daniel Megert
;m gonna clean the code, fill a bug and propose the patch. ==> https://bugs.eclipse.org/542777 Dani From: Laurent Caron To: platform-dev@eclipse.org Date: 13.12.2018 18:50 Subject: Re: [platform-dev] Proposal for StyledText Sent by:platform-dev-boun...@eclipse.org

Re: [platform-dev] Proposal for StyledText

2018-12-13 Thread Laurent Caron
Hi Mickael and Thomas, Thank you for your feedback. For the moment, I'm gonna clean the code, fill a bug and propose the patch. Let's see what happen. For Mickael : thank you for the tip. I'll be patient and if my patch is not accepted it's not a problem, it was funny to develop. Laurent Le jeu

Re: [platform-dev] Proposal for StyledText

2018-12-13 Thread Mickael Istria
On Thu, Dec 13, 2018 at 11:54 AM Thomas Singer wrote: > I'd prefer it to be optional, because the StyledText might be used in > situations where this behavior might be unexpected. IMHO the best > approach would be to make it not part of the official StyledText (if > possible), but instead impleme

Re: [platform-dev] Proposal for StyledText

2018-12-13 Thread Thomas Singer
Hi Laurent, I'd prefer it to be optional, because the StyledText might be used in situations where this behavior might be unexpected. IMHO the best approach would be to make it not part of the official StyledText (if possible), but instead implement it to a separate class without the StyledTe

Re: [platform-dev] Proposal for StyledText

2018-12-13 Thread Mickael Istria
On Wed, Dec 12, 2018 at 9:19 PM Laurent Caron wrote: > Good evening, > Let me introduce myself: my name is Laurent Caron, and I'm a proud Eclipse > Nebula Committer. > Hi Laurent, > I've worked on a little enhancement for *StyledText *widgets. It mimics > the behaviour of Firefox or Chrome whe