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=refs%2Fbuilds%2F20140129033013%2Fpspp;hp=4bbf1540e2c48a4ac1985843132d222c093ea535;hpb=34e954c88e221ee1f38ea1ac8af1d1933b536097;p=pspp

diff --git a/src/ui/gui/pspp-widget-facade.h b/src/ui/gui/pspp-widget-facade.h
index 4bbf1540e2..6705185f7f 100644
--- a/src/ui/gui/pspp-widget-facade.h
+++ b/src/ui/gui/pspp-widget-facade.h
@@ -64,9 +64,7 @@ void facade_button_get_size_request (gint border_width,
                                      GtkRequisition *);
 void facade_button_render (GtkWidget *base,
                            cairo_t *cr,
-                           GdkRectangle *expose_area,
-
-                           GdkRectangle *button_area,
+                           const GdkRectangle *button_area,
                            gint border_width,
                            GtkStyle *button_style,
                            GtkStateType state_type,