Ensure we set the CSS DPI every time a window opens. For now, this will do. Later we need to monitor and perhaps support per-browser-window dpi?

svn path=/trunk/netsurf/; revision=5513
This commit is contained in:
Daniel Silverstone 2008-10-09 13:45:21 +00:00
parent 10879f2ad6
commit f6a2b1169d

View File

@ -1107,7 +1107,10 @@ nsgtk_scaffolding *nsgtk_new_scaffolding(struct gui_window *toplevel)
g->throbber = GTK_IMAGE(GET_WIDGET("throbber"));
g->preferences_dialog = NULL;
css_screen_dpi = gdk_screen_get_resolution(gtk_widget_get_screen(GTK_WIDGET(g->window)));
LOG(("Set CSS DPI to %f", css_screen_dpi));
/* set this window's size and position to what's in the options, or
* or some sensible default if they're not set yet.
*/