X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpspp-widget-facade.h;h=6705185f7fcdc3f2524243ca6658b5dcbf6701b6;hb=cc2e75b525f904b05986916b5d103dfe44b76deb;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..6705185f7f 100644
--- a/src/ui/gui/pspp-widget-facade.h
+++ b/src/ui/gui/pspp-widget-facade.h
@@ -63,10 +63,8 @@ void facade_button_get_size_request (gint border_width,
                                      const GtkRequisition *child_request,
                                      GtkRequisition *);
 void facade_button_render (GtkWidget *base,
-                           GdkDrawable *window,
-                           GdkRectangle *expose_area,
-
-                           GdkRectangle *button_area,
+                           cairo_t *cr,
+                           const GdkRectangle *button_area,
                            gint border_width,
                            GtkStyle *button_style,
                            GtkStateType state_type,