[maemo-developers] [maemo-developers] What will be your next Maemo device

[From: Eero Tamminen]

Hi,

> If maemo had a notion of DPI this would be much easier, but as
> Tommi pointed out, requires us to fix most of the internets css files

I don't quite see what CSS files have to do with changing theme
font sizes.

Why you cannot just change the font sizes listed by:
  grep font_name /usr/share/themes/*/gtk-2.0/gtkrc
  grep "font " /usr/share/themes/*/matchbox/theme.xml
?

(And note that there's no way you could handle this just by DPI or font
sizes if you care about looks quality.  The font size is supposed
to match with the theme gfx, such as the fairly constant colored area
in titlebars so that text appears properly centered to it, not too
small compared to the reserved space etc.)


	- Eero