Salut,
Je pensais que seuls les utilisateur de Firefox avaient des problèmes d'add-on ? Tu sais ces modules complémentaire pour bloquer de la pub ou jouer avec les onglets par exemple et qui peuvent allourdir ou déstabiliser le zimbrec, voire ne plus être compatible avec une nouvelle version...
Avec Opera ça ne risque pas d'arriver ;)
Il dispose de tellement de fonctionnalités intégrées (de manière homogène, pas une icone par ci, un menu par là, tiens, un bouton là ?) que le recours à un userjs ou un widget devrait se révéler superfétatoire dans la plupart des cas... Et le cas échéant, ces extensions ne sont pas réputées pour être particulièrement gènantes ou causer problème.

Si la barre d'onglet (effectivement peu utile puisqu'Opera a été conçu depuis 1996 avec une interface MDI qui n'a pas besoin de ces petits attributs pour permettre de jongler entre les pages) te gène tu peux l'enlever en trois clics. Comment tu fais avec Firefox ou Safari per exemple ?

@+
--
Pierre