bonjour Aronaxa,
Je suis un utilisateur fidèle de Opéra depuis des années (il complète chrome grace à toutes ses fonctions inédites). Je ne suis pas sur de pouvoir répondre à ta question précise de changement de taille de police dans les onglets dans la V15. En revanche, ce que je peux te dire:
L'équipe d'opéra vient de sortir une mise à jour importante: remplacement du moteur interne "presto" (celui de opera V12) au moteur open source webkit (opera v15) (
http://www.lemondeinformatique.fr/actua ... 54236.html). J'y vois 2 problèmes:
1. toutes les petites fonctionnalités d'opéra sont pour le moment mises de coté (et qui sait si elles reverront le jour dans opera 15 et ses successeurs?)
"Mail - no.
Bookmarks - no.
Notes - a file on a desktop.
Opera link - no.
Misc - no, no, no, no.
applause." (
http://my.opera.com/desktopteam/blog/20 ... -migration)
2. sur ma liberkey les profils opera de la V12 ne sont pas récupérés lors de l'installation de la opera V15 sur la liberkey (alors que normalement le profil est en partie transféré, sauf les fonctionnalités manquantes évidemment). Opera 15 a démarré en ignorant totalement mon profil
Du coup de mon coté j'ai récupéré une version 12 de opera sur une liberkey qui n'avait pas été mise à jour, je l'ai collée sur ma liberkey apres avoir effacé le dossier de la v15 (mais conservé le profil v12), et tout marche comme avant. Il faut donc éviter de mettre à jour Opera dans la liberkey et rester sur la version 12.16, en attendant que la nouvelle version s'améliore (ou en attendant d'avoir migré vers chrome ou firefox).
En conclusion, essaie de récupérer une ancienne version 12 et de la mettre sur ta liberkey, en attendant que la nouvelle version s'améliore ou d'avoir migré ailleurs.