Merge pull request #1949 from nicksenger/fix/component-overlay-redraw

Forward redraw requests in component overlay
This commit is contained in:
Héctor Ramón 2023-07-09 22:33:02 +02:00 committed by GitHub
commit 63b2dc367e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -624,6 +624,10 @@ where
local_shell.revalidate_layout(|| shell.invalidate_layout());
if let Some(redraw_request) = local_shell.redraw_request() {
shell.request_redraw(redraw_request);
}
if !local_messages.is_empty() {
let mut inner =
self.overlay.take().unwrap().0.take().unwrap().into_heads();