X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=e5382f3c3e6710489260aecd28bfaebdc280835c;hb=0ac284dc7a541a01ce80ea86e4077bcf21fed0ca;hp=a7d45cb0f1c96bac08e069068b9b323f64d5f980;hpb=b2b2b0a29f80de89d96bcceea90f117930ab47b9;p=pspp diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c index a7d45cb0f1..e5382f3c3e 100644 --- a/lib/gtk-contrib/gtkxpaned.c +++ b/lib/gtk-contrib/gtkxpaned.c @@ -3,7 +3,7 @@ ** 10 20 30 40 50 60 70 80 ** ** library for GtkXPaned-widget, a 2x2 grid-like variation of GtkPaned of gtk+ - ** Copyright (C) 2012 Free Software Foundation, Inc. + ** Copyright (C) 2012, 2013 Free Software Foundation, Inc. ** Copyright (C) 2005-2006 Mirco "MacSlow" Müller ** ** This library is free software; you can redistribute it and/or @@ -1396,8 +1396,6 @@ gtk_xpaned_draw (GtkWidget * widget, cairo_t *cr) { GtkXPaned *xpaned = GTK_XPANED (widget); gint handle_size; - GdkRectangle horizontalClipArea; - GdkRectangle verticalClipArea; /* determine size of handle(s) */ gtk_widget_style_get (widget, "handle-size", &handle_size, NULL); @@ -1424,20 +1422,6 @@ gtk_xpaned_draw (GtkWidget * widget, cairo_t *cr) else state = gtk_widget_get_state (widget); - horizontalClipArea.x = xpaned->handle_pos_west.x; - horizontalClipArea.y = xpaned->handle_pos_west.y; - horizontalClipArea.width = - xpaned->handle_pos_west.width + handle_size + - xpaned->handle_pos_east.width; - horizontalClipArea.height = handle_size; - - verticalClipArea.x = xpaned->handle_pos_north.x; - verticalClipArea.y = xpaned->handle_pos_north.y; - verticalClipArea.width = handle_size; - verticalClipArea.height = - xpaned->handle_pos_north.height + handle_size + - xpaned->handle_pos_south.height; - gtk_paint_handle (gtk_widget_get_style (widget), cr, state,