GWT - Augmenter et réduire la taille de la police

Question

Dans une application Web GWT, Je veux donner la possibilité à mes utilisateurs de diminuer ou d'augmenter la taille de la police dans la page actuelle.

Est-il possible, en GWT, de le faire, si l'utilisateur clique sur le bouton +:

body { font-size: 150%; } 

Et pour ce faire, si l'utilisateur clique sur - bouton:

body { font-size: 50%; } 

Merci!

Answer 1

Cela fonctionne pour une solution en ligne CSS. Remplacez CLASSNAMEHERE pour l'adapter à vos besoins ou transmettez-le en tant que paramètre de la fonction.

private static native void changeFontSize(int inc)/*-{ 
     { 
      var p = $doc.getElementsByClassName('CLASSNAMEHERE'); 
      for (n = 0; n < p.length; n++) { 
       if (p[n].style.fontSize) { 
        var size = parseInt(p[n].style.fontSize.replace("px", "")); 
       } else { 
        var size = 11; 
       } 
       p[n].style.fontSize = size + inc + 'px'; 
      } 
     } 
    }-*/; 

Answer 2

S'il vous plaît essayer suivante:

Document.get().setStyleAttribute("font-size", "150%"); 

Si vous devez modifier les styles de classes de style particulier, alors vous devriez les interroger d'abord en quelque sorte. (Avec JS natif ou http://code.google.com/p/gwtquery/ par exemple) itérer ensuite les modifier et les attributs de style

DOM.setStyleAttribute(someGwtElement.getElement(), "font-size", "150%");