Skip to content

Commit 4d991a5

Browse files
Increase the height of bracket selection by one point
In some zoom level the highlight is too close to the text and cutoff sometimes.
1 parent fffca6a commit 4d991a5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bundles/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -264,7 +264,7 @@ private void draw(final GC gc, final int offset) {
264264
final String matchingCharacter= fTextWidget.getText(offset, offset);
265265
Point characterBounds= gc.textExtent(matchingCharacter);
266266
final int height= fTextWidget.getCaret().getSize().y;
267-
characterBounds.y= height - 1;
267+
characterBounds.y= height;
268268
Rectangle hightlightingArea= Rectangle.of(new Point(bounds.x, bounds.y + bounds.height - height), characterBounds);
269269

270270
// draw box around line segment

0 commit comments

Comments
 (0)