X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtksheet%2Fgtkxpaned.c;h=b96f66c119a551654037bec747619dc869be4418;hb=62a557c85ae093efda4594c1a87a8bfd5a543e54;hp=9aaea13c46d1306d1e4bb7149a6bbd47d4619422;hpb=1a90d36cb9eac4fa17b8e2f9a9b8b7461bd6360d;p=pspp

diff --git a/lib/gtksheet/gtkxpaned.c b/lib/gtksheet/gtkxpaned.c
index 9aaea13c46..b96f66c119 100644
--- a/lib/gtksheet/gtkxpaned.c
+++ b/lib/gtksheet/gtkxpaned.c
@@ -709,6 +709,15 @@ static void gtk_xpaned_size_request (GtkWidget* widget,
 	}
 }
 
+void
+gtk_xpaned_compute_position (GtkXPaned* xpaned,
+			     const GtkAllocation* allocation,
+			     GtkRequisition* top_left_child_req,
+			     GtkRequisition* top_right_child_req,
+			     GtkRequisition* bottom_left_child_req,
+			     GtkRequisition* bottom_right_child_req);
+
+
 static void gtk_xpaned_size_allocate (GtkWidget* widget,
 									  GtkAllocation* allocation)
 {