jef
April 16, 2019, 7:27am
1
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.
“chrome-extension://oemmndcbxxxxxx/https://arxiv.org/pdf/1904.06652.pdf ”
Expected result:
The URL should be the real URL.
“https://arxiv.org/pdf/1904.06652.pdf ”
Additional Information:
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.
When using the built-in PDF viewer, the URL bar contains, instead of the URL of the PDF file, a URL referring to the extension. For example, when clicking at
one gets, in the URL bar:
chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/https://www.w3.org/2019/Talks/Amersfoort-IH/Presentation.pdf
This may be a problem if one wants to, e.g., copy-paste the URL of the PDF file. The same extension is used in other browsers, and I have not seen this behaviour before…
@jef Thanks for reporting. Issue is already logged, please track the issue here.
Description
More information and specific tasks to come soon...
Justification
Some of the reasons for removing include:
high memory overhead
large number of reported PDF issues
Tasks
...
extension/PDFJS
priority/P2
Thanks!
1 Like