Description of the issue:
Cannot copy a pdf’s URL directly from PDF Viewer.
Steps to Reproduce (add as many as necessary):
- Open an arbitrary pdf file, e.g., https://arxiv.org/pdf/1904.06652.pdf
Actual Result (gifs and screenshots are welcome!):
The URL will be like this.
The URL should be the real URL.
I hope the behavior of pdf viewing should be the same with Google chrome. Chrome can show a direct pdf URL. Currently, it is annoying to copy the pdf link when I use Brave.
I found the same report from another people. But it was closed unfortunately.