mirror of
https://github.com/servo/servo.git
synced 2025-10-18 09:19:16 +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> |
||
|---|---|---|
| .. | ||
| Cargo.toml | ||
| compositor.rs | ||
| gl.rs | ||
| lib.rs | ||
| touch.rs | ||
| tracing.rs | ||
| webview.rs | ||
| windowing.rs | ||