|
@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.
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.
@jony08: Annotations cannot be copied between different users, except by export and import. I am not going to implement automatic copying that's insanely confusing.
|