Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tip:gerer_scripts [16/03/2019 12:11]
127.0.0.1 modification externe
tip:gerer_scripts [16/03/2019 12:58] (Version actuelle)
Pascal
Ligne 3: Ligne 3:
 Vous pouvez mettre à jour les scripts automatiquement ou manuellement. La mise à jour automatique est activée par défaut, mais peut se désactiver dans les **préférences générales**. Vous pouvez mettre à jour les scripts automatiquement ou manuellement. La mise à jour automatique est activée par défaut, mais peut se désactiver dans les **préférences générales**.
  
-{{ :​tip:​scripts_maj.png?​nolink&​500 ​|}}+{{ :​tip:​scripts_maj.png?​nolink |}}
 ===== Gestion des scripts ===== ===== Gestion des scripts =====
  
Ligne 10: Ligne 10:
   * Ouvrez la fenêtre de recherche Internet, dans le menu des sites de recherche, sélectionnez **Gérer les scripts...**. Vous pouvez également directement sélectionner l'​onglet **Scripts Internet** dans les préférences.   * Ouvrez la fenêtre de recherche Internet, dans le menu des sites de recherche, sélectionnez **Gérer les scripts...**. Vous pouvez également directement sélectionner l'​onglet **Scripts Internet** dans les préférences.
  
-{{ :​tip:​scripts_selection.png?​nolink&​700 ​|}}+{{ :​tip:​scripts_selection.png?​nolink |}}
  
   * Cliquez sur le bouton **Mettre à jour** pour télécharger les nouveaux scripts et mettre à jour les anciens scripts   * Cliquez sur le bouton **Mettre à jour** pour télécharger les nouveaux scripts et mettre à jour les anciens scripts
   * Sélectionnez les scripts que vous souhaitez utiliser.   * Sélectionnez les scripts que vous souhaitez utiliser.
  
-{{ :​tip:​scripts_preferences.png?​nolink&​700 ​|}}+{{ :​tip:​scripts_preferences.png?​nolink |}}
  
   * Fermez la fenêtre. Les scripts sélectionnés apparaissent maintenant dans le menu de site de recherche.   * Fermez la fenêtre. Les scripts sélectionnés apparaissent maintenant dans le menu de site de recherche.