Temporarily disable unused rubber banding feature

[pspp] / src / ui / gui / pspp-widget-facade.c

diff --git a/src/ui/gui/pspp-widget-facade.c b/src/ui/gui/pspp-widget-facade.c
index ee065919cef67415d7f22fbeaf38e9b9fc888ce3..cae55ab12a9494e6f37f7ee8ccdd9a6cfe8c6076 100644 (file)
--- a/src/ui/gui/pspp-widget-facade.c
+++ b/src/ui/gui/pspp-widget-facade.c
@@ -313,7 +313,7 @@ get_layout_location (GtkWidget *base,
 
 void
 facade_button_render (GtkWidget *base,
-                      GdkDrawable *window,
+                      GdkWindow   *window,
                       GdkRectangle *expose_area,
 
                       GdkRectangle *button_area,