fix bug that child widgets may not be updated during event handling

This commit is contained in:
Jinhao 2019-04-01 06:25:18 +08:00
parent 5803395b7e
commit 73c68def7e

View File

@ -1089,9 +1089,14 @@ namespace detail
}
else
window_layer::paint(wd, paint_operation::try_refresh, refresh_tree); //only refreshing if it has an invisible parent
//Map the requested children.
this->map_requester(wd);
}
else
wd->other.mapping_requester.clear();
wd->other.upd_state = core_window_t::update_state::none;
wd->other.mapping_requester.clear();
}
void window_manager::map_requester(core_window_t* wd)