PDF reader: add a new "more options" (three dots) menu

In the PDF reader, a new "three dots" menu might be helpful, similar to the menu in the top-right corner of the new note editor.

Such a menu button might fit well next to the search button ("Find in Document").

Here are possible options for the menu:

- "Show in Library": This option is currently available in the note editor.

- "Save As…": Export with annotations, currently available in the File menu.

- "Open in External Viewer": Open the current page, e.g., in a PDF editor.

- "Open in a Separate Window": If the reader became detachable, this option could be added.
Sign In or Register to comment.