| commit | 15d09249911dd8052192e2d146a5961dd5391ff9 | [log] [tgz] |
|---|---|---|
| author | Mickael Istria <mistria@redhat.com> | Fri Feb 11 11:11:01 2022 +0100 |
| committer | Mickael Istria <mistria@redhat.com> | Fri Feb 11 09:03:13 2022 -0500 |
| tree | 17f28ed4b7beeee1bb4ae00057d116596ffdf12c | |
| parent | 9ebe6ce2eb9f18fc9c168433edb232f871830f00 [diff] |
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>