Options accessibles pendant la navigation
Choisissez parmi les options suivantes :
Raccourcis – pour ouvrir une nouvelle liste d'options propres à la page.
Cette option n'est disponible que si la page contient des raccourcis.
Page d'accueil – pour revenir à la page de démarrage
Ajouter signet – pour enregistrer la page comme signet
Signets – pour accéder à la liste des signets. Voir « Signets », page 96.
Ouvrir une page – pour saisir l'adresse d'un nouveau service
Options de la page – pour afficher la liste des options de la page active
Historique – pour obtenir la liste des derniers sites (URL) visités
Téléchargements – pour accéder à la liste des services de
téléchargement disponibles
Autres options – pour afficher la liste des autres options
Actualiser – pour recharger et mettre à jour la page en cours
Quitter – pour vous déconnecter d'un service
Le prestataire de services peut aussi proposer d'autres options.