Closed mickaelistria closed 1 year ago
Fixes https://github.com/eclipse-platform/eclipse.platform.text/issues/194
Fixes https://github.com/eclipse-platform/eclipse.platform.text/issues/194