GWT - Como alterar o tamanho da fonte do componente HyperLink

Boa tarde,

Gostaria de saber como faço para alterar o tamanho da fonte, acredito que seja o setHeight, mas devo estar colocando o parâmetro errado pois
quando coloco setHeight(“2px”) por exemplo não muda nada.

Segue:

Hyperlink novoC = new Hyperlink("Novo compromisso", "novoC"); novoC.setHeight("2px");

Alguém saberia me dizer onde estou errando e se existe alguma outra forma de alterar o tamanho.

Creio que para alterar o tamanho da fonte você precisa alterar o HTML do elemento. setHeight() é um método que Hyperlink herda de UIObject.

http://google-web-toolkit.googlecode.com/svn/javadoc/1.4/com/google/gwt/user/client/ui/Hyperlink.html

Você precisaria acertar o CSS e mexer em:

.gwt-Hyperlink

Será isso?

http://google-web-toolkit.googlecode.com/svn/javadoc/1.5/com/google/gwt/user/client/ui/Hyperlink.html

Se não quiser mexer em todos os hyperlinks mas apenas em alguns, você teria de acertar o CSS e criar um novo style, e setar o style do objeto html.