Re: [platform-ui-dev] Enhanced extensibility for the default text editor

[Mickael Istria <mistria@xxxxxxxxxx>]

On 06/27/2016 01:42 PM, Tom Schindl wrote:

I raised my concerns and won't repeat them any longer. Just for book
keeping I'm -1 on that change.

Is there anything else than what you stated in https://bugs.eclipse.org/bugs/show_bug.cgi?id=486961#c35 ?

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets