XODO

I think it would be very wise to implement a tool to make it possible to change the highlighter's width, because depending on the PDF file, specially when you used a OCR program on it, it can make the highlighter too wide, as seen on the image below.

Indeed, the fixed width of the highlighter can be disturbing sometimes! It would be an excellent feature to change this manually. So my highlights look good all the time.