mirror of
https://github.com/servo/servo
synced 2026-05-09 08:32:31 +02:00
https://github.com/servo/servo/pull/38160 added a webdriver-specific API to support waiting on focus operations to complete. These changes replace that with a generalized pattern, where a unique ID is created for each focus operation and the embedder can receive notifications about each focus operation when it is complete, regardless of whether the focus was actually changed. Testing: Existing test coverage from https://github.com/servo/servo/pull/38160/ is unchanged. --------- Signed-off-by: Josh Matthews <josh@joshmatthews.net>