[gtk+/widget-padding: 68/71] Just use GtkBorder for padding in GtkAuxInfo

[Havoc Pennington <hp src gnome org>]

commit dd3f8cefeb386a34b170b200705dc482435efa84
Author: Havoc Pennington <hp pobox com>
Date:   Sat Sep 11 17:10:37 2010 -0400

    Just use GtkBorder for padding in GtkAuxInfo

 gtk/gtkwidget.h |   15 +--------------
 1 files changed, 1 insertions(+), 14 deletions(-)
---
diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h
index c53a41b..8549110 100644
--- a/gtk/gtkwidget.h
+++ b/gtk/gtkwidget.h
@@ -506,20 +506,7 @@ struct _GtkWidgetAuxInfo
   guint   h_align : 4;
   guint   v_align : 4;
 
-  /* FIXME GtkBorder uses 32-bit ints for each side which is kinda
-   * bloated; 255 (or even 128) already exceeds 99.99% of actual padding
-   * settings, int16 would exceed 100%, int32 is nuts.  GtkBox uses
-   * uint16.
-   *
-   * Just fix GtkBorder itself? The main danger is probably going signed
-   * to unsigned, rather than 32 to 16.
-   */
-  struct {
-    guint16 left;
-    guint16 right;
-    guint16 top;
-    guint16 bottom;
-  } padding;
+  GtkBorder padding;
 };
 
 struct _GtkWidgetShapeInfo