As I mentioned on a couple of mailing lists in July:
"I would hope it's obvious to everyone, but it's not the font you want to explicitly scale. It's everything you want to scale based on the detected monitor DPI. Something like:
panel_height_inches = 0.25 panel_height_pixels = panel_height_inches * gdk_screen_get_resolution(screen)
And fonts should scale automatically if not already, when you: gdk_screen_set_resolution(screen, DPI)
[http://developer.gnome.org/gdk/stable/GdkScreen.html#gdk-screen-get-resolution]"
As I mentioned on a couple of mailing lists in July:
"I would hope it's obvious to everyone, but it's not the font you want to explicitly scale. It's everything you want to scale based on the detected monitor DPI. Something like:
panel_height_inches = 0.25 height_ inches * gdk_screen_ get_resolution( screen)
panel_height_pixels =
panel_
And fonts should scale automatically if not already, when you: screen_ set_resolution( screen, DPI)
gdk_
[http:// developer. gnome.org/ gdk/stable/ GdkScreen. html#gdk- screen- get-resolution]"