X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpspp-widget-facade.h;h=4bbf1540e2c48a4ac1985843132d222c093ea535;hb=2d2a7bf72aaf1f117faeaddb207108463561302f;hp=6583d329ca9271c339fe2ed81431ff7c704a6b59;hpb=f9035ac5308961fa6957894b5660bdb3adad60d0;p=pspp

diff --git a/src/ui/gui/pspp-widget-facade.h b/src/ui/gui/pspp-widget-facade.h
index 6583d329ca..4bbf1540e2 100644
--- a/src/ui/gui/pspp-widget-facade.h
+++ b/src/ui/gui/pspp-widget-facade.h
@@ -63,7 +63,7 @@ void facade_button_get_size_request (gint border_width,
                                      const GtkRequisition *child_request,
                                      GtkRequisition *);
 void facade_button_render (GtkWidget *base,
-                           GdkDrawable *window,
+                           cairo_t *cr,
                            GdkRectangle *expose_area,
 
                            GdkRectangle *button_area,