Options while browsing
Select from the following options:
Home
— to return to your start page
Shortcuts
— to open a new list of options that are specific to the page. This option is only available if the page
contains shortcuts.
Add bookmark
— to save the page as a bookmark
Bookmarks
— to access the list of bookmarks. See “Bookmarks,” p.
104
.
Page options
— to show the list of options for the active page
History
— to get a list showing the last visited URLs
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.