mirror of
https://github.com/slint-ui/slint.git
synced 2025-09-30 22:01:13 +00:00
internal cleanup: Rename Property::set_dirty() to mark_dirty()
This commit is contained in:
parent
a494eafa9c
commit
d420d5efd7
4 changed files with 7 additions and 7 deletions
|
@ -470,13 +470,13 @@ protected:
|
|||
/// Notify the views that rows were added
|
||||
void row_added(int index, int count)
|
||||
{
|
||||
model_dirty_property.set_dirty();
|
||||
model_dirty_property.mark_dirty();
|
||||
for_each_peers([=](auto peer) { peer->row_added(index, count); });
|
||||
}
|
||||
/// Notify the views that rows were removed
|
||||
void row_removed(int index, int count)
|
||||
{
|
||||
model_dirty_property.set_dirty();
|
||||
model_dirty_property.mark_dirty();
|
||||
for_each_peers([=](auto peer) { peer->row_removed(index, count); });
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue