Utilisation du menu de raccourcis pour personnaliser le navigateur
Vous pouvez cliquer avec le bouton droit sur la barre d'outils du navigateur ou la barre d'adresse et sélectionner les options suivantes :
• Barre d'outils du navigateur (Browser Toolbar)
• Ajouter aux favoris (Add to Favorites)
• Personnaliser le navigateur (Customize Browser)
• Gestion des serveurs (Server Management)