This allows reusing the rounded rect everywhere a component can have rounded drawing needs without needed to special case the zero radius case (button region, box, ...) as well as handling pathological cases a bit nicer.
I think we could also merge colored_box with round_rect by simply having colored_box provide a border_radius parameter (we can keep the shorthand though)
This allows reusing the rounded rect everywhere a component can have rounded drawing needs without needed to special case the zero radius case (button region, box, ...) as well as handling pathological cases a bit nicer.
I think we could also merge
colored_box
withround_rect
by simply havingcolored_box
provide aborder_radius
parameter (we can keep the shorthand though)