|
menu.snippet.add
|
Snippet from Selection…
|
|
|
|
menu.copy.pagelink
|
Copy Link to Page
|
|
|
|
menu.hide.identities
|
Hide Identities
|
|
|
|
menu.show.outline
|
Show Page Outline
|
|
|
|
menu.parent
|
Go to Parent
|
|
|
|
menu.root
|
Go to Root
|
|
|
|
menu.home
|
Go Home
|
|
|
|
menu.autoreload
|
Set Auto-Reload…
|
|
|
|
menu.page.bookmark
|
Bookmark Page…
|
|
|
|
menu.page.subscribe
|
Subscribe to Page…
|
|
|
|
menu.fonts
|
Manage Fonts…
|
|
|
|
menu.tools
|
Tools
|
|
|
|
menu.import.links
|
Import All Links on Page…
|
|
|
|
menu.page.import
|
Import Links as Bookmarks…
|
|
|
|
menu.page.visitlinks
|
Mark All Links as Visited
|
|
|
|
menu.page.copyurl
|
Copy Page URL
|
|
|
|
menu.page.copysource
|
Copy Page Source
|
|
|
|
menu.viewformat.plain
|
View as Plain Text
|
|
|
|
menu.viewformat.gemini
|
View as Gemtext
|
|
|
|
menu.bookmarks.refresh
|
Refresh Remote Bookmarks
|
|
|
