15d09249911dd8052192e2d146a5961dd5391ff9 - platform/eclipse.platform.text

commit: 15d09249911dd8052192e2d146a5961dd5391ff9
[log]
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>

org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java[diff]

1 file changed