Currently, when viewing a PDF, the Notes/Annotations column has a fixed width. When I click and drag the little <-> arrow button, it won’t make the column wider. This means that for larger notes, the column is too narrow to see all the text at once. Would it be possible to allow for a custom column width?
On a related note, it would be useful to be able to change the text font size more precisely. The current font size options in the app preferences only apply to the app as a whole; so in some places the font is too large, and in other places it tends to be too small.