migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00
Code Activity

This should make the viewport to redraw normaly in windows

Browse Source
This commit is contained in:
Konkitoman
2023-08-23 14:31:37 +03:00
parent 3cf9c1c4b1
commit 3b41253442
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
crates/eframe/src/native/run.rs
View File

@@ -167,13 +167,13 @@ fn run_and_return(
// Platform-dependent event handlers to workaround a winit bug // Platform-dependent event handlers to workaround a winit bug
// See: https://github.com/rust-windowing/winit/issues/987 // See: https://github.com/rust-windowing/winit/issues/987
// See: https://github.com/rust-windowing/winit/issues/1619 // See: https://github.com/rust-windowing/winit/issues/1619
#[cfg(target_os = "windows")] // #[cfg(target_os = "windows")]
winit::event::Event::RedrawEventsCleared => { // winit::event::Event::RedrawEventsCleared => {
// windows_next_repaint_times.clear(); // windows_next_repaint_times.clear();
// winit_app.run_ui_and_paint(None) // winit_app.run_ui_and_paint(None)
vec![EventResult::Wait] // vec![EventResult::Wait]
} // }
#[cfg(not(target_os = "windows"))] // #[cfg(not(target_os = "windows"))]
winit::event::Event::RedrawRequested(window_id) => { winit::event::Event::RedrawRequested(window_id) => {
windows_next_repaint_times.remove(window_id); windows_next_repaint_times.remove(window_id);
winit_app.run_ui_and_paint(*window_id) winit_app.run_ui_and_paint(*window_id)