Catégorie: Opéra

Greasemonkey à l'opéra

Saviez-vous que vous pouvez facilement charger des scripts Greasemonkey dans Opera? Alors que les utilisateurs de Firefox ont besoin d'une extension pour cela, les utilisateurs d'Opera peuvent simplement les importer dans Opera. Eh bien, un peu de travail manuel & hellip;

Comment changer le répertoire du cache Opera

Mise à jour: avec le passage d'Opera à Chromium, tout comme Google Chrome, la méthode ci-dessous ne fonctionne plus. Pour changer le cache d'Opera 15 ou plus récent, vous devez ajouter le fichier de démarrage & hellip;

Comment changer, désactiver la numérotation rapide Opera

La question s'est posée ici de savoir s'il est possible de désactiver la fonction de numérotation rapide intégrée à Opera. La numérotation abrégée affiche un certain nombre de sites Web ou d'extensions de numérotation abrégée sur la nouvelle page à onglet du navigateur.

Opera Mobile prend désormais en charge les extensions

Opera Software en octobre 2010 a ajouté la prise en charge des extensions du navigateur Web. Avant cela, Opera ne prenait en charge que les widgets qui étaient des programmes autonomes qui s'exécutaient dans leur propre fenêtre. Avec l'extension & hellip;

Tonido, une alternative à Opera Unite?

Si vous avez trouvé la fonctionnalité Unite d'Opera particulièrement utile, vous serez peut-être déçu que la société ait décidé de débrancher la technologie et de la supprimer du navigateur dans le fichier & hellip;

Opera Software prépare Opera pour Windows 8

Les développeurs de logiciels tiers qui souhaitent que leurs programmes fonctionnent correctement sous le prochain système d'exploitation de Microsoft Windows 8 doivent concentrer leur attention sur deux nouveaux domaines. La page de démarrage est la & hellip;