Options while browsing
Select from the following options:
Shortcuts
— to open a new list of options that are specific to the page. This option is only available if the page
contains shortcuts.
Home
— to return to your start page
Add bookmark
— to save the page as a bookmark
Bookmarks
— to access the list of bookmarks. See
Bookmarks
p.
107
.
History
— to get a list showing the last visited URLs
Page options
— to show the list of options for the active page
Downloads
— to show the list of bookmarks for downloading
Other options
— to show a list of other options
Reload
— to reload and update the current page
Quit
— to disconnect from a service
The service provider may also offer other options.