Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-dev] Eclipse editor and StyledText selection events
Yeah it's also the cause of: https://bugs.eclipse.org/bugs/show_bug.cgi?id=424983 

Eric

On 2/14/19 10:24 AM, Mickael Istria wrote:
This could very well be the cause of https://bugs.eclipse.org/bugs/show_bug.cgi?id=541415 

_______________________________________________
platform-dev mailing list
platform-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev

Back to the top