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.
2 people like this idea
1 Comment
R
Rafael Müller-Osten
said
11 months ago
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.
Pedro
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.
2 people like this idea