Bienvenue sur la communauté francophone des utilisateurs d'Opera


Pas d’extension pour Opera ? Erreur…

On lit souvent, sur des sites ou des blogs qui découvrent ou comparent Opera à d’autres logiciels, que cet excellent navigateur norvégien n’est pas extensible comme Internet Explorer et Firefox…

Même si Opera dispose de très nombreuses fonctionnalités, il est tout à fait possible d’en rajouter, depuis plusieurs années maintenant, par le biais d’extensions sous forme de code Javascript utilisateur, aussi appelé userjs en anglais. Certains de ces fichiers sont compatibles avec GreaseMonkey, une extension pour que Firefox supporte ce type d’extension…

L’installation consiste simplement à regrouper tous les fichiers Javascripts dans un dossier particulier et en indiquer le chemin à Opera. Cela se fait dans les Préférences (CTRL+F12) > Avancées > Contenus > Options Javascript > Dossier des Javascripts utilisateur. Opera doit être redémarré la première fois qu’un chemin est défini mais, par la suite, la simple copie d’un nouveau fichier userjs dans ce dossier sera prise en compte à la volée, sans redémarrage.

Il existe de très nombreuses extensions décrites sur différents sites comme par exemple :

Il existe aussi un gestionnaire pour faciliter, si cela s’avérait nécessaire, la manipulation de ce type d’extensions pour Opera : User JS Manager


Posté le 12 mars 2009 à 14:03 par Pierre dans Opera |