Skip to content

make it easier to hit the right line in overlays (workaround, fixes #… #286

make it easier to hit the right line in overlays (workaround, fixes #…

make it easier to hit the right line in overlays (workaround, fixes #… #286