5a78fe33e8
The initial media query that's used to watch for device pixel ratio changes should match. Unfortunately it doesn't with Safari and the corresponding assertion fails. This is because resolution is not a supported support property for queries. As a workaround, this patch extends the query to optionally match for the webkit specific DPR property directly. This fixes #1734 |
||
|---|---|---|
| .. | ||
| platform | ||
| platform_impl | ||
| dpi.rs | ||
| error.rs | ||
| event.rs | ||
| event_loop.rs | ||
| icon.rs | ||
| lib.rs | ||
| monitor.rs | ||
| window.rs | ||