Skip to content

Commit dbb2767

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 8afe6f6 commit dbb2767

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -263,7 +263,6 @@ private void draw(final GC gc, final int offset) {
263263
// will also include any in-line annotations (e.g. codemining annotations) in the width
264264
final String matchingCharacter= fTextWidget.getText(offset, offset);
265265
Point sizePoints= gc.textExtent(matchingCharacter);
266-
sizePoints.y= sizePoints.y - 1;
267266
final int height= fTextWidget.getCaret().getSize().y;
268267
Rectangle rectangleOfFloat= Rectangle.of(new Point(bounds.x, bounds.y + bounds.height - height), sizePoints);
269268

0 commit comments

Comments
 (0)