| Re: [jdt-dev] [UI] JavaDoc readability improvements proposal |
Hello Andrey, done as suggested, issue https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1073 , PR https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1074 . Thanks in advance to anybody willing to provide feedback. Cheers Jozef Od: Andrey Loskutov via jdt-dev Hi Jozef, Simply create issue here https://github.com/eclipse-jdt/eclipse.jdt.ui/issues and submit a draft PR if you have a prototype. Am 21. November 2023 20:03:50 MEZ schrieb Jozef Tomek via jdt-dev <jdt-dev@xxxxxxxxxxx>: >_______________________________________________ >jdt-dev mailing list >jdt-dev@xxxxxxxxxxx >To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev -- Kind regards, Andrey Loskutov https://www.eclipse.org/user/aloskutov Спасение утопающих - дело рук самих утопающих _______________________________________________ jdt-dev mailing list jdt-dev@xxxxxxxxxxx To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev |