Skip to content

Re-work event loop run APIs: adds run -> Result<>, run_ondemand and pump_events#2767

Merged
kchibisov merged 15 commits intorust-windowing:masterfrom
rib:run-ondemand-and-event-pumping
Jul 27, 2023
Merged

Re-work event loop run APIs: adds run -> Result<>, run_ondemand and pump_events#2767
kchibisov merged 15 commits intorust-windowing:masterfrom
rib:run-ondemand-and-event-pumping

Commits

Commits on Jul 25, 2023

Commits on Jul 26, 2023

Commits on Jul 27, 2023