Y20230505-1000
The preference can be used by client code, combined with the fix for: https://github.com/eclipse-platform/eclipse.platform.text/issues/191 Fixes: #742 Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>
The preference can be used by client code, combined with the fix for: https://github.com/eclipse-platform/eclipse.platform.text/issues/191 Fixes: #742 Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>