Thank you, @hught, Improving the PDF viewer would be good but for now it’s not a priority, I think. Nevertheless I will try to keep tabs on the github issue.
Thank you, @hught, Improving the PDF viewer would be good but for now it’s not a priority, I think. Nevertheless I will try to keep tabs on the github issue.