Comment 2 for bug 1030828

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

As I mentioned the other day in a design discussion, I think the panel (and everything) should be scalable according to the screen DPI. And we should have an option to configure/change the screen DPI value.

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]