#3 LABEL.set_border_width should be renamed

[Daniel F Moisset]

given that the border is horizontal and vertical, width
is a bad name because it seems to imply just an
horizontal dimension. It should be
renamed to set_border_size (this way will add
consistency with TEXT_ENTRY, too)