Closed daxpedda closed 3 months ago
This PR adds ActiveEventLoop::create_proxy(), letting users create EventLoopProxy from inside the event loop. Internally I basically just moved backend::EventLoop::create_proxy() to backend::ActiveEventLoop::create_proxy().
ActiveEventLoop::create_proxy()
EventLoopProxy
backend::EventLoop::create_proxy()
backend::ActiveEventLoop::create_proxy()
Fixes #3741.
No changes, just force-pushed to jump-start the CI, some infrastructure failure from GitHub.
This PR adds
ActiveEventLoop::create_proxy()
, letting users createEventLoopProxy
from inside the event loop. Internally I basically just movedbackend::EventLoop::create_proxy()
tobackend::ActiveEventLoop::create_proxy()
.Fixes #3741.