Re: [eclipse-dev] Proposal: Plugin to enhance the Java Editor's accessib

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

Hi Jann

I have seen your feature request but
unfortunately did not yet have time to look at it. I will respond during
the next week.

I've also forwarded this to jdt-ui-dev
which is more appropriate for the discussion.

Cheers!
Dani



From:      
 Jann Schneider <schneider_jann@xxxxxxxx>
To:      
 eclipse-dev@xxxxxxxxxxx
Date:      
 21.04.2017 14:21
Subject:    
   [eclipse-dev]
Proposal: Plugin to enhance the Java Editor's        accessibility
Sent by:    
   eclipse-dev-bounces@xxxxxxxxxxx

---

Hello,

I just want to know your opinions and maybe start a little discussion about
an enhancement proposal i made: bug 514922.
What do you think about this?  Regards Jann! 


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