X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fgtkxpaned.c;h=d5b9c843e57d5837d3a0fe2ebe4e470d07661e3c;hb=f790dbda9d498eef9c9c0a49078adbeecf768d56;hp=4b98059ee3c21dbb40328d192dea6e1725c20de5;hpb=3dd0f6ae0d5eb73a2270a243e443c4ae03c2c16e;p=pspp diff --git a/lib/gtk-contrib/gtkxpaned.c b/lib/gtk-contrib/gtkxpaned.c index 4b98059ee3..d5b9c843e5 100644 --- a/lib/gtk-contrib/gtkxpaned.c +++ b/lib/gtk-contrib/gtkxpaned.c @@ -952,7 +952,7 @@ gtk_xpaned_size_allocate (GtkWidget * widget, GtkAllocation * allocation) xpaned->handle_pos_middle.height); } - /* Now allocate the childen, making sure, when resizing not to + /* Now allocate the children, making sure, when resizing not to * overlap the windows */ if (gtk_widget_get_mapped (widget))