tree 17f28ed4b7beeee1bb4ae00057d116596ffdf12c
parent 9ebe6ce2eb9f18fc9c168433edb232f871830f00
author Mickael Istria <mistria@redhat.com> 1644574261 +0100
committer Mickael Istria <mistria@redhat.com> 1644588193 -0500

Bug 540448 - Increase spacing for line end code mining

Allows to better separate codemining from actual line content.

Change-Id: Ieb326ea0c985f00ea8809dbc2fcd44b38d741c53
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/190710
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Mickael Istria <mistria@redhat.com>