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.
Jann Schneider <schneider_jann@xxxxxxxx> To:
21.04.2017 14:21 Subject:
Proposal: Plugin to enhance the Java Editor's accessibility Sent by:
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