Nous avons une application j2ee standard écrite en utilisant jboss richfaces 3.3.x. nous avons plusieurs classes de style pour décider de la taille de la famille et de la taille de la police. Certains des utilisateurs finaux qui utilisent notre application ont leurs propres paramètres de police (dans Mozilla sous Outils -> Options -> Contenu -> Options par défaut -> Avancé. Certains ont une taille de police minimale définie sur Aucun et certains l'ont défini sur 18. Dans ce cas, les boutons deviennent plus gros et dépassent la taille du bouton. UI inutilisable.Comment la taille de la police du navigateur détermine-t-elle le rendu de notre application
Est-ce un problème avec Firefox, nous ne pouvons pas vous conseillons au client de modifier ces paramètres. Comment pouvons-nous gérer ces cas.
Quelle est exactement votre question? Quel type de paramètres de taille utilisez-vous dans votre application? –
application utilise Times New Roman, 13 px par défaut. Le paramètre de police minimum du navigateur est 18 dans ce cas. Il semble être en train de sélectionner le paramètre du navigateur, même s'il a le drapeau suivant "Autoriser les pages à choisir leur propre police, au lieu de mes sélections ci-dessus" activé par défaut. – Sam