Guide de l'utilisateur
6. Cliquez sur Enregistrer les options.
Modifier les options JavaScript
1.
Dans le navigateur, appuyez sur la touche Menu.
2. Cliquez sur Options.
3. Cliquez sur Configuration du navigateur.
4. Cochez l'une des cases suivantes :
• Prise en charge JavaScript
• Autoriser les fenêtres contextuelles JavaScript
• Mettre fin aux scripts à exécution lente
5. Appuyez sur la touche Menu .
6. Cliquez sur Enregistrer les options.
Modifier les options des images et des animations des pages Web
1.
Dans le navigateur, appuyez sur la touche Menu.
2. Cliquez sur Options.
3. Effectuez l'une des opérations suivantes :
• Pour ne plus afficher les images, cliquez sur Configuration du navigateur. Modifiez le champ Afficher les images.
• Pour modifier la qualité des images, cliquez sur Propriétés générales. Modifiez le champ Qualité d'image.
• Pour modifier le nombre de répétitions des graphismes animés, cliquez sur Propriétés générales. Modifiez le champ Répéter les
animations.
4. Appuyez sur la touche Menu .
5. Cliquez sur Enregistrer les options.
Modifier les options d'affichage des pages Web
1.
Dans le navigateur, appuyez sur la touche Menu.
2. Cliquez sur Options.
3. Cliquez sur Configuration du navigateur.
4. Effectuez l'une des opérations suivantes :
• Pour afficher des images d'arrière plan, cochez la case Utiliser les images d'arrière-plan.
• Pour modifier la navigation, modifiez le champ Identification du navigateur.
5. Appuyez sur la touche Menu.
6. Cliquez sur Enregistrer les options.
Modifier les options de police des pages Web
1.
Dans le navigateur, appuyez sur la touche Menu.
2. Cliquez sur Options.
3. Cliquez sur Propriétés générales.
4. Effectuez l'une des opérations suivantes :
• Modifier les champs Famille de police par défaut et Taille de police par défaut.
Navigateur
113