|
menu.root
|
Go to Root
|
|
|
|
menu.home
|
Go Home
|
|
|
|
menu.reload
|
Reload Page
|
|
|
|
menu.autoreload
|
Set Auto-Reload…
|
|
|
|
menu.page.bookmark
|
Bookmark Page…
|
|
|
|
menu.page.subscribe
|
Subscribe to Page…
|
|
|
|
menu.aboutpages
|
About Pages
|
|
|
|
menu.fonts
|
Manage Fonts…
|
|
|
|
panel.back
|
Back
|
|
|
|
menu.debug
|
Debug Information
|
|
|
|
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
|
|
|
|
menu.feeds.refresh
|
Refresh Feeds
|
|
|
