acejump / AceJump

🅰️ single character search, select, and jump
https://plugins.jetbrains.com/plugin/7086-acejump
GNU General Public License v3.0
1.21k stars 91 forks source link

Highlight offset difference on high-DPI screens #362

Closed AlexPl292 closed 2 years ago

AlexPl292 commented 3 years ago

Labels and highlighted text have height differences and this looks inaccurate.

image

Desktop (please complete the following information):

chylex commented 3 years ago

I actually have no idea what exactly causes it, I noticed it on Mac and came up with a workaround which seems to work - at least on my particular DPI settings - but I don't know if it's actually safe to PR it like this. https://github.com/chylex/IntelliJ-AceJump/commit/2ca21b84239013fc001cd80a11f325677b8c8c8f

chylex commented 2 years ago

Since this is still open, I'll see if my "fix" works on other DPI settings and PR it.