![]() This border does not interfere with headerbar-vs-content placement, and we can allow themes to change it without breaking dialogs. |
||
---|---|---|
.. | ||
cursor | ||
theme | ||
ui |
![]() This border does not interfere with headerbar-vs-content placement, and we can allow themes to change it without breaking dialogs. |
||
---|---|---|
.. | ||
cursor | ||
theme | ||
ui |