This renames all internal implementations of pump_events_with_timeout to pump_events and makes them public. Since all platforms that support pump_events support timeouts there's no need to have a separate API. |
||
|---|---|---|
| .. | ||
| common | ||
| wayland | ||
| x11 | ||
| mod.rs | ||
This renames all internal implementations of pump_events_with_timeout to pump_events and makes them public. Since all platforms that support pump_events support timeouts there's no need to have a separate API. |
||
|---|---|---|
| .. | ||
| common | ||
| wayland | ||
| x11 | ||
| mod.rs | ||