mirror of
https://github.com/slint-ui/slint.git
synced 2025-08-08 20:58:40 +00:00
![]() The padding property is accepted but doesn't have an effect. It was meant for future use but didn't get any use. And people get confuse when they set it. (See #8829) Closes: #8829 Closes: #6288 |
||
---|---|---|
.. | ||
if_in_grid.slint | ||
if_in_grid_row.slint | ||
min_max_conflict.slint | ||
padding.slint | ||
spacing.slint |