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]
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 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]