This file is some notes about how different widgets are drawn.
+=============
+
+GtkMenu
+
+=============
++----------------------------------------------------------------------------+
+| A |
+| +------------------------------------------------------------------------+ |
+| |############################# C ########################################| |
+| |# D #| |
+| |# +-------------------------------------------------------------------+#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | Item 1 |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# +-------------------------------------------------------------------+#| |
+| |# +-------------------------------------------------------------------+#| |
+| |# | |#| |
+| |# | |#| |
+|A|B | |B|A|
+| |# | Item 2 |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# +-------------------------------------------------------------------+#| |
+| |# [...] #| |
+| |# +-------------------------------------------------------------------+#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | Item n |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# | |#| |
+| |# +-------------------------------------------------------------------+#| |
+| |# D #| |
+| |############################# C ########################################| |
+| +------------------------------------------------------------------------| |
+| A |
++----------------------------------------------------------------------------+
+
+A: GtkContainer::border_width
+B: xthickness
+C: ythickness
+D: vertical_padding
+
+=============
+
+GtkMenuItem
+
+=============
+
++----------------------------------------------------------------------------+
+| A |
+| +------------------------------------------------------------------------+ |
+| |############################# C ########################################| |
+| |#+-+------------+--+-------------------------------+--+-------------+-+#| |
+| |#| |\\\\\\\\\\\\| | /|\ |**| | |#| |
+| |#| |<------E------>| | |**| G | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| >> | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| >>>> | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| >>>>>> | |#| |
+|A|B|D|\\\\\\\\\\\\| F| Child G |*H| >>>>>>>> |D|B|A|
+| |#| |\\\\\\\\\\\\| | | |**| >>>>>> | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| >>>> | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| >> | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| | |#| |
+| |#| |\\\\\\\\\\\\| | | |**| | |#| |
+| |#| |\\\\\\\\\\\\| | \|/ |**| | |#| |
+| |#+-+------------+--+-------------------------------+--+-------------+-+#| |
+| |############################# C ########################################| |
+| +------------------------------------------------------------------------+ |
+| A |
++----------------------------------------------------------------------------+
+
+A: GtkContainer:border_width
+B: xthickness
+C: ythickness
+D: horizontal_padding
+E: toggle_size
+F: toggle_spacing
+G: Requested height of child (also used for width of arrow
+H: arrow_spacing spacing (when the item has a non-vertical submenu)
+
+
=============
GtkOptionMenu:
=====================
+NOTE: Due to a bug that is basically unfixable in a sufficiently compatible
+NOTE: way, the button gives the space requested for focus_width and
+NOTE: focus_padding to the child (in addition to the space requested by
+NOTE: the child), if the button is !CAN_FOCUS.
+
Style properties
GtkWidget::interior_focus = TRUE