Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Adjust sizing and headerbars for new hdy widgets #281
Some applications in Disco now use hdytitlebar widgets, which are designed to split the headerbar for use with phones. The current Pop theme doesn't really support these really well, as evidenced by GNOME Control Center having no space between the edge of the headerbars and the close buttons:
This PR addresses these issues.