2010-01-18 14:20:07 +01:00
|
|
|
Index: plugins/xsettings/gsd-xsettings-manager.c
|
2008-09-26 15:22:41 +02:00
|
|
|
===================================================================
|
2011-04-28 10:28:09 +02:00
|
|
|
--- plugins/xsettings/gsd-xsettings-manager.c.orig
|
|
|
|
+++ plugins/xsettings/gsd-xsettings-manager.c
|
|
|
|
@@ -237,6 +237,8 @@ get_dpi_from_x_server (void)
|
|
|
|
GdkScreen *screen;
|
|
|
|
double dpi;
|
2008-09-26 15:22:41 +02:00
|
|
|
|
2011-04-28 10:28:09 +02:00
|
|
|
+ return DPI_FALLBACK;
|
|
|
|
+
|
|
|
|
screen = gdk_screen_get_default ();
|
|
|
|
if (screen != NULL) {
|
|
|
|
double width_dpi, height_dpi;
|