1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 14:50:03 -04:00
This commit is contained in:
Emil Ernerfeldt
2024-08-26 15:35:44 +02:00
committed by GitHub
parent b84a1e2a29
commit 0513c05768
2 changed files with 16 additions and 7 deletions

View File

@@ -1666,6 +1666,15 @@ pub fn create_winit_window_attributes(
pixels_per_point * pos.y,
));
}
#[cfg(target_os = "ios")]
{
// Unused:
_ = pixels_per_point;
_ = position;
_ = inner_size;
_ = min_inner_size;
_ = max_inner_size;
}
if let Some(icon) = icon {
let winit_icon = to_winit_icon(&icon);