[nixsee]

@nixsee: There is no monospaced font and no you are not going to get a config option to control the font size of individual UI elements, ever. There are limits to how much configurability I am willing to implement.

That's fine regarding no font size configuration, but it definitely looks like monospaced font to me, and a web-based Font Identifier tool concurs... See picture below:



And here is how it looks for me with the secondary Edit Notes window - the font is not monospaced and is a considerably smaller size.



At the very least, could the font style be consistent between the two, and the size perhaps somehow tied to your general viewer settings?

As for not knowing where one highlight starts and another begins, use different colors. Adding margin/dots whatever is both expensive and looks ugly, as it change the size of the text, thereby causing reflow

Using different colors for adjacent highlights is not a solution at all, because colors/styles have meaning in my system. If dots are too ugly (which I don't find to be the case whatsoever - they're quite an elegant solution that you came up with for this problem) or too expensive, why did you implement them to begin with for annotations?

I agree, changing the margins would indeed be uglier. But it wouldn't be expensive. It was simply an alternative.

So, given that dots are already implemented for annotations (which I'm grateful for), I don't see any reason not to implement a different-colored dot for non-annotated highlights.