Increasing/Decreasing font size

[basis.cedric]

Hi,
I'm using SmartGWT 3.1p and I have an acessibility requirement where I'll have to increase and decrease font size globally. I was initially thinking of using themes and changing font size in CSS.
Does it seem a reasonable solution? Or is this requirement a candidate for feature sponsorship?

Cheers,
Cédric.

[Isomorphic]

Using themes would probably work well. In addition to updating css (font sizes), your load_skin.js file would allow you to apply specific customizations such as high-visibility color schemes, and increase the sizes of things like ListGrid rows and TabSet tabs, etc.

[jornn]

Is there no way around this issue other than using different skins?

I was hoping to implement a <small> <normal> <big> type of widget, where if the user clicked the small icon, then the font on the ui would change to small and so forth...

The only way around this, in my mind right now, would be to create a set of 3 skins, with font-size = 75%, font-size = 100%, and font-size = 125%, for all the needed widgets...

Would it be possible then for the ui being shown, to go and do .setStyleName([selected style name]); and the ui would update?

I definitely do not want the end user to have to log out and back in again...