slint-ui / slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.
https://slint.dev
Other
17.7k stars 614 forks source link

attempting a header change to optimize usability #6720

Closed szecket closed 3 weeks ago

szecket commented 3 weeks ago

the toggle that existed is the same as toggling a button - whcih can sit next to the closed library and properties.
properties should be editable while selection is active so those should be openable / visible whether in edit mode or not.
STILL TODO:

szecket commented 3 weeks ago

any thoughts on the change interaction wise?

FloVanGH commented 3 weeks ago

any thoughts on the change interaction wise?

From my perspective it makes it better :-)

ogoffart commented 3 weeks ago

Let's merge it then.