Editor hover tips (when positioned above the line) overlap the line by a few pixels #139311
Description
Editor hover tips that appear above of the line are overlap the line by a few pixels. You can see how the line selection highlight is clipped:
When positioned below the line, there is no overlap (which is goodness):
