This PR fixes a bug in GPUI where the observation API would not be triggered if a focus event caused a `notify()` Release Notes: - N/A
GPUI
A fast, productive UI framework from the creators of [https://zed.dev].
This PR fixes a bug in GPUI where the observation API would not be triggered if a focus event caused a `notify()` Release Notes: - N/A
A fast, productive UI framework from the creators of [https://zed.dev].