Ticket #522 (new defect)

Opened 2 years ago

Last modified 5 months ago

Borders are not rendered on edges of widgets that touch their parent container's edge.

Reported by: Technomage Owned by: FIFE
Priority: normal Milestone: 0.3.5
Component: engine/extensions/pychan Version: trunk
Severity: normal Keywords:
Cc: Blocked By:
Blocking: Time planned:
Time remaining: Time spent:

Description

Description

Currently widgets with border_size >= 0 inside a container widget do not render any border edges which touch an edge of the parent container.

Workaround

Add one or more Spacers with fixed_size >= 1 between the child widget and its container's edges.

Change History

comment:1 Changed 2 years ago by prock

  • Milestone changed from Proposal to 0.3.4

Moving to 0.3.4

comment:2 Changed 5 months ago by prock

  • Milestone changed from 0.3.4 to 0.3.5

Moving to 0.3.5 as we are preparing to release 0.3.4

Note: See TracTickets for help on using tickets.