RESOLU Comment lister les onglets ?

[Bob49]

Bonjour

Bizarre, le code n'a aucun effet sous Xubuntu, avec l'affichage à la taille de l'écran de mon 24" ! De toutes façons, il y a un bug dans ce fonctionnement qui sera surement corrigé ! J'ai pas trouvé de bug ouvert, mais bon...

[lool_lauris]

Salut Bob,

Bon, je viens de tester aussi sous xubuntu 16.04 et le code de pepersan fonctionne bien.
En fait, j'ai testé sous win7, ubuntu unity 16.04 et xubuntu 16.04, et c'est OK.

[Bob49]

Salut lool

Mon problème se pose avec la version installée via la distribution et sans doute un petit soucis dans le fichier prefs... mais je n'ai pas voulu supprimé celui-c, car bien des modifications apportées !... De toutes façons, problèmes sans importance et je verrais à la prochaine mise à jour majeur. au pire, je récupérerai un fichier prefs d'une autre version...

N'ayant pas mis la version officielle de Mozilla à jour sous Xubuntu (je sais c'est pas bien.. Mais sous peu.. ), je n'ai pas pu comparer avec celle-ci...

Mais là, après avoir eu beaucoup de retard...... je viens de mettre à jour les versions pour le développement (et les ESR) et toutes celles-ci ne me pose pas ce problème. Sans besoin du code évoqué précédemment. Donc cela était bien un bug comme je l'avais évoqué.