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=a232eb40325b126daabcdf28ca54da794bd6a29f;hp=38460459c142d6cd803d5458afaf73c7da8063ed;hpb=9a947c92edb9060d404014eb350e74b693703cc0;p=pspp

diff --git a/src/ui/gui/pspp-widget-facade.h b/src/ui/gui/pspp-widget-facade.h
index 38460459c1..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,
-                           GdkWindow *window,
-                           GdkRectangle *expose_area,
-
-                           GdkRectangle *button_area,
+                           cairo_t *cr,
+                           const GdkRectangle *button_area,
                            gint border_width,
                            GtkStyle *button_style,
                            GtkStateType state_type,