X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=96f89ada7df785b0f3416daeb83d894820a3e8a2;hb=a860739c34aad93afd7cb2cb24bcaef3e6eeae8a;hp=2167606c0768995a94483d917789c421048f4fab;hpb=634c9eb2cf9ba7ba021e52c9fd5fee957ec18f5c;p=pspp

diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c
index 2167606c07..96f89ada7d 100644
--- a/lib/gtk-contrib/gtkxpaned.c
+++ b/lib/gtk-contrib/gtkxpaned.c
@@ -31,12 +31,11 @@
 
 #include <config.h>
 #include "gtkxpaned.h"
+
+#include <gtk/gtk.h>
 #include <ui/gui/psppire-marshal.h>
-#include <gtk/gtkbindings.h>
-#include <gtk/gtksignal.h>
 #include <gdk/gdkkeysyms.h>
-#include <gtk/gtkwindow.h>
-#include <gtk/gtkmain.h>
+
 
 enum WidgetProperties
 {
@@ -2413,8 +2412,6 @@ gtk_xpaned_compute_position (GtkXPaned* xpaned,
 	GdkPoint old_max_position;
 	gint handle_size;
 	gint border_width = GTK_CONTAINER (xpaned)->border_width;
-	float fX;
-	float fY;
 
 	g_return_if_fail (GTK_IS_XPANED (xpaned));
 
@@ -2425,9 +2422,6 @@ gtk_xpaned_compute_position (GtkXPaned* xpaned,
 	old_max_position.x = xpaned->max_position.x;
 	old_max_position.y = xpaned->max_position.y;
 
-	fX = 100.0f * (float) old_position.x / (float) allocation->width;
-	fY = 100.0f * (float) old_position.y / (float) allocation->height;
-
 	xpaned->min_position.x = xpaned->top_left_child_shrink ? 0 : top_left_child_req->width;
 	xpaned->min_position.y = xpaned->top_left_child_shrink ? 0 : top_left_child_req->height;
 
@@ -2575,9 +2569,6 @@ gtk_xpaned_compute_position (GtkXPaned* xpaned,
 
 	xpaned->last_allocation.width = allocation->width;
 	xpaned->last_allocation.height = allocation->height;
-
-	fX = 100.0f * (float) old_position.x / (float) allocation->width;
-	fY = 100.0f * (float) old_position.y / (float) allocation->height;
 }
 
 static void gtk_xpaned_set_saved_focus (GtkXPaned* xpaned, GtkWidget* widget)