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

Make RawInput::time an Option

This commit is contained in:
Emil Ernerfeldt
2020-12-16 21:22:45 +01:00
parent 413f5fd37a
commit 2c766aa540
4 changed files with 51 additions and 16 deletions

View File

@@ -115,7 +115,7 @@ impl WebInput {
egui::RawInput {
screen_size: screen_size_in_native_points().unwrap(),
pixels_per_point: Some(native_pixels_per_point()),
time: now_sec(),
time: Some(now_sec()),
..self.raw.take()
}
}