mirror of
https://github.com/slint-ui/slint.git
synced 2025-08-06 11:48:52 +00:00
d49fe14e4a
Padding properties exists as reserved properties but don't have effect. But the menu code was using them to store values. This is now a warning because people got confused by setting padding and wondering why it has not effect. This also had some bug in the code were properties were padding was set on a layout, as well as all the padding-* properties, so the padding was not taking in account |
||
|---|---|---|
| .. | ||
| about-slint.slint | ||
| combobox-base.slint | ||
| datepicker_base.slint | ||
| internal-components.slint | ||
| layout.slint | ||
| lineedit-base.slint | ||
| listview.slint | ||
| MadeWithSlint-logo-dark.svg | ||
| MadeWithSlint-logo-light.svg | ||
| menu-base.slint | ||
| menus.slint | ||
| slider-base.slint | ||
| spinbox-base.slint | ||
| spinner-base.slint | ||
| standardbutton.slint | ||
| tabwidget-base.slint | ||
| textedit-base.slint | ||
| time-picker-base.slint | ||
