update CI patch for EventWriter::send deprecation (#18044)

# Objective

- EventWriter::send has been deprecated, but it was used by one of the
CI patch

## Solution

- Use EventWriter::write instead
This commit is contained in:
François Mockers 2025-02-26 21:36:15 +01:00 committed by GitHub
parent 4b1745f813
commit 23cf8ffe6c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,7 +6,7 @@ index df0aab42d..6e28a6e9c 100644
}
}
+ window_resized.send(WindowResized {
+ window_resized.write(WindowResized {
+ window,
+ width: win.width(),
+ height: win.height(),