diff --git a/tools/example-showcase/extra-window-resized-events.patch b/tools/example-showcase/extra-window-resized-events.patch index 71fe860356..a7b5442538 100644 --- a/tools/example-showcase/extra-window-resized-events.patch +++ b/tools/example-showcase/extra-window-resized-events.patch @@ -6,7 +6,7 @@ index df0aab42d..6e28a6e9c 100644 } } -+ window_resized.send(WindowResized { ++ window_resized.write(WindowResized { + window, + width: win.width(), + height: win.height(),