preferred-... properties and Rust lib's Window::set_size() ineffective

[Enyium]

Consider this SlintPad demo (see comment):

import { Button } from "std-widgets.slint";

export component Demo {
    preferred-width: 500px;
    preferred-height: 500px;

    Button {
        // Commenting this property out, or making it an empty
        // string makes the component tiny and unresizable.
        text: "Foo";
    }
}

I got to this code by reducing my app drastically. My actual use case is calling Window::set_size() on the Rust side before app_window.show(), which stays ineffective just like when using the preferred-... properties. In contrast to this example, though, my app window behaves normal (displaying in preferred, i.e., minimal size, and being normally resizable); Window::set_size() is simply ineffective, preventing me to restore the size saved on last app termination.

Above example on Windows 10 with text property being set to "Foo":

okay.mp4

Same example with text property commented out:

not-okay.mp4

[ogoffart]

indeed, there is a bug there. Looks like the compiler override the explicit preferred size with that of the content.