Rebonjour!
Je ne me suis pas croisé les bras, j'ai cherché la cause de mon problème...et j'ai trouvé la cause. Du coup, une partie de la solution aussi, mais j'ai peur que la solution ne soit problématique.
Le problème vient du thème GTK d'eOS. Je ne sais pas pourquoi le thème impose que ces onglets aient une écriture si petite, mais j'ai pu déterminer que ça en était la source en changeant de thème.
Sauf que voilà, ça pose problème.
Les 5 thèmes GTK proposés (blue, colors, lion, champagne, milk) ne reposent que sur des variations de couleur. Du coup le problème de l'écriture reste posé. J'ai tenté à l'arrache un thème qui s'appelle MacXLion, qui est joli certes, qui règle le problème de taille de police certes, mais qui ne s'intègre pas du tout à Elementary.
J'utilise beaucoup LibreOffice, j'aime bien Elementary, du coup est-ce qu'il existe des thèmes GTK autres que ceux cités plus haut qui règleraient ce problème?
EDIT : J'ai réussi à régler le problème! J'ai trouvé la solution grâce à ce site qui apporte un tutoriel pour améliorer l'interface de LibreOffice.
Perso je trouve LibreOffice très bien comme ça, mais apparemment, utiliser une version à jour de LibreOffice est risqué. Les barres de défilement sont tellement fines, les onglets dans Calc ou Draw prennent la même taille. Du coup on n'y voit absolument rien!
Donc la solution à ce seul problème d'onglets, consiste à ouvrir le terminal, et lancer la commande :
sudo scratch-text-editor /usr/share/themes/elementary/gtk-2.0/gtkrc
Puis chercher GtkScrollbar ::slider-width = et régler la valeur à 15. L'auteur de l'article original conseille 10, soupçonnant sa résolution d'être trop grande, mais j'ai testé aussi, 15 est une valeur raisonnable.
Mais y'a un truc qui me turlupine... C'est un problème qui a déjà été reporté il y a un an apparement (voir cette page). Un an plus tard il faut toujours s'amuser à mettre les mains dans le cambouis pour avoir un LibreOffice totalement utilisable? Dans une version supportée théoriquement jusqu'en 2017? J'ai raté un truc ou bien?