Ticket #522 (new defect)
Borders are not rendered on edges of widgets that touch their parent container's edge.
|Reported by:||Technomage||Owned by:||FIFE|
|Time remaining:||Time spent:|
Currently widgets with border_size >= 0 inside a container widget do not render any border edges which touch an edge of the parent container.
Add one or more Spacers with fixed_size >= 1 between the child widget and its container's edges.