mirror of
https://github.com/slint-ui/slint.git
synced 2025-10-23 16:51:43 +00:00
LSP: Allow to change rotation properties for all elements
This is about what properties are shown in the properties panel of the live preview
This commit is contained in:
parent
ebbb677655
commit
d1f91e9593
1 changed files with 5 additions and 9 deletions
|
|
@ -467,15 +467,11 @@ pub(super) fn get_properties(
|
||||||
group_priority: depth,
|
group_priority: depth,
|
||||||
});
|
});
|
||||||
|
|
||||||
if b.name == "Image" || b.name == "Text" {
|
|
||||||
result.extend(get_reserved_properties(
|
result.extend(get_reserved_properties(
|
||||||
&b.name,
|
&b.name,
|
||||||
depth,
|
depth,
|
||||||
i_slint_compiler::typeregister::RESERVED_ROTATION_PROPERTIES
|
i_slint_compiler::typeregister::RESERVED_ROTATION_PROPERTIES.iter().cloned(),
|
||||||
.iter()
|
|
||||||
.cloned(),
|
|
||||||
));
|
));
|
||||||
}
|
|
||||||
|
|
||||||
if matches!(b.name.as_str(), "GridLayout" | "HorizontalLayout" | "VerticalLayout") {
|
if matches!(b.name.as_str(), "GridLayout" | "HorizontalLayout" | "VerticalLayout") {
|
||||||
// Add the padding that is otherwise filtered out
|
// Add the padding that is otherwise filtered out
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue