migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 13:20:05 -04:00
Code Activity

Fix web build

Browse Source
This commit is contained in:
Emil Ernerfeldt
2023-11-15 21:13:28 +01:00
parent d231a05a1d
commit 46bea93744
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/eframe/src/web/app_runner.rs
View File

@@ -94,7 +94,7 @@ impl AppRunner {
{ {
let needs_repaint = needs_repaint.clone(); let needs_repaint = needs_repaint.clone();
egui_ctx.set_request_repaint_callback(move |info| { egui_ctx.set_request_repaint_callback(move |info| {
needs_repaint.repaint_after(info.after.as_secs_f64()); needs_repaint.repaint_after(info.delay.as_secs_f64());
}); });
} }

14
crates/egui_glow/examples/pure_glow.rs
View File

@@ -166,7 +166,7 @@ fn main() {
.expect("Cannot send event"); .expect("Cannot send event");
}); });
let mut repaint_after = std::time::Duration::MAX; let mut repaint_delay = std::time::Duration::MAX;
event_loop.run(move |event, _, control_flow| { event_loop.run(move |event, _, control_flow| {
let mut redraw = || { let mut redraw = || {
@@ -184,13 +184,13 @@ fn main() {
*control_flow = if quit { *control_flow = if quit {
winit::event_loop::ControlFlow::Exit winit::event_loop::ControlFlow::Exit
} else if repaint_after.is_zero() { } else if repaint_delay.is_zero() {
gl_window.window().request_redraw(); gl_window.window().request_redraw();
winit::event_loop::ControlFlow::Poll winit::event_loop::ControlFlow::Poll
} else if let Some(repaint_after_instant) = } else if let Some(repaint_delay_instant) =
std::time::Instant::now().checked_add(repaint_after) std::time::Instant::now().checked_add(repaint_delay)
{ {
winit::event_loop::ControlFlow::WaitUntil(repaint_after_instant) winit::event_loop::ControlFlow::WaitUntil(repaint_delay_instant)
} else { } else {
winit::event_loop::ControlFlow::Wait winit::event_loop::ControlFlow::Wait
}; };
@@ -242,8 +242,8 @@ fn main() {
} }
} }
winit::event::Event::UserEvent(UserEvent::Redraw(after)) => { winit::event::Event::UserEvent(UserEvent::Redraw(delay)) => {
repaint_after = after; repaint_delay = delay;
} }
winit::event::Event::LoopDestroyed => { winit::event::Event::LoopDestroyed => {
egui_glow.destroy(); egui_glow.destroy();