mirror of
https://github.com/servo/servo.git
synced 2025-10-03 18:19:14 +01:00
d5daa31b1f
Remove this event which is completely unused. In addition, lots of code becomes dead once this happens, so remove that as well. It may be possible that a different behavior is necessary immediately following a window resize, but the new API will handle this in a different way than this embedder event -- which complicates how the event loop is spun in both the API and servoshell. Signed-off-by: Martin Robinson <mrobinson@igalia.com> |
||
|---|---|---|
| .. | ||
| protocols | ||
| app.rs | ||
| cli.rs | ||
| egui_glue.rs | ||
| embedder.rs | ||
| events_loop.rs | ||
| geometry.rs | ||
| headed_window.rs | ||
| headless_window.rs | ||
| keyutils.rs | ||
| minibrowser.rs | ||
| mod.rs | ||
| tracing.rs | ||
| webview.rs | ||
| window_trait.rs | ||