[gtk+] gdk_gl_texture_quad: Fix handling of window scales

[Alexander Larsson <alexl src gnome org>]

commit 56631d02bd47898b96795483a80f7aaa6ee628f5
Author: Alexander Larsson <alexl redhat com>
Date:   Thu Nov 6 19:33:24 2014 +0100

    gdk_gl_texture_quad: Fix handling of window scales

 gdk/gdkgl.c |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/gdk/gdkgl.c b/gdk/gdkgl.c
index 6d0e8f4..b962508 100644
--- a/gdk/gdkgl.c
+++ b/gdk/gdkgl.c
@@ -236,8 +236,9 @@ gdk_gl_texture_quad (GdkGLContext *paint_context,
 {
   GdkGLContextPaintData *paint_data  = gdk_gl_context_get_paint_data (paint_context);;
   GdkWindow *window = gdk_gl_context_get_window (paint_context);
-  float w = gdk_window_get_width (window);
-  float h = gdk_window_get_height (window);
+  int window_scale = gdk_window_get_scale_factor (window);
+  float w = gdk_window_get_width (window) * window_scale;
+  float h = gdk_window_get_height (window) * window_scale;
   float vertex_buffer_data[] = {
     (x2 * 2) / w - 1, (y1 * 2) / h - 1,
     (x2 * 2) / w - 1, (y2 * 2) / h - 1,