1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 13:50:04 -04:00

Better error reporting

This commit is contained in:
Emil Ernerfeldt
2023-11-03 11:36:07 +01:00
parent 75e6d3c85d
commit 0df4b493fb
2 changed files with 14 additions and 6 deletions

View File

@@ -261,7 +261,7 @@ pub fn handle_app_output(
}
if drag_window {
let _ = window.drag_window();
window.drag_window().ok();
}
if let Some(always_on_top) = always_on_top {