mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
e14e079fff
This updates egui, making the necessary changes to maintain behavior. In addition, it groups dependencies so that they are updated in a single PR by dependabot, avoiding manual work. |
||
|---|---|---|
| .. | ||
| 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 | ||