Hi, If it's an issue you can reproduce with all text editors, it would be https://github.com/eclipse-platform/eclipse.platform.text ; it it's specific to JDT then https://github.com/eclipse-jdt/eclipse.jdt.ui/
HTH
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
