From 73c68def7ec2bb7d3af1a4370209cb862f66b408 Mon Sep 17 00:00:00 2001 From: Jinhao Date: Mon, 1 Apr 2019 06:25:18 +0800 Subject: [PATCH] fix bug that child widgets may not be updated during event handling --- source/gui/detail/window_manager.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/source/gui/detail/window_manager.cpp b/source/gui/detail/window_manager.cpp index 6349685d..f7def397 100644 --- a/source/gui/detail/window_manager.cpp +++ b/source/gui/detail/window_manager.cpp @@ -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)