language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-22 16:22:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

live-preview: Update the live-preview data model (#7741)

Browse source 
... on reloads. That is needed to make the UI aware
of the new data.

I tried to be clever and not update widgets on model
changes, but that is not a problem anymore as all
the property values are no longer passed through
the model. So the only reason to update the model now
is because the code was loaded fresh and we *need*
to refresh the entire UI in that case.
This commit is contained in:
Tobias Hunger 2025-02-25 23:00:06 +01:00 • committed by GitHub
parent 9679657bc6
commit 77f676d69d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

25
tools/lsp/preview/ui.rs
View file

@ -1142,33 +1142,8 @@ pub fn ui_set_preview_data(
let api = ui.global::<Api>();
let old_model = api.get_preview_data();
fn update_model(
old_model: &slint::ModelRc<PropertyContainer>,
new_model: &[PropertyContainer],
) -> bool {
if old_model.row_count() != new_model.len() {
return true;
}
for (oc, nc) in old_model.iter().zip(new_model.iter()) {
if oc.container_name != nc.container_name
|| oc.container_id != nc.container_id
|| oc.properties.row_count() != nc.properties.row_count()
|| oc.properties.iter().zip(nc.properties.iter()).any(|(o, n)| o != n)
{
return true;
}
}
false
}
if update_model(&old_model, &result) {
api.set_preview_data(Rc::new(VecModel::from(result)).into());
}
}
fn to_property_container(container: slint::SharedString) -> preview_data::PropertyContainer {
if container.is_empty() {