mirror of
https://github.com/servo/servo.git
synced 2025-07-16 11:53:39 +01:00
95a0d0584f
This allows to cleanup resources earlier if they stop being used. Right now all resources were cleaned up when the context was destroyed, this is a slightly better approach. We ignore the possible failure of the send() call, since we don't keep track of these resources from the `WebGLRenderingContext` structure, so a texture could be destroyed after the context and give us problems. |
||
|---|---|---|
| .. | ||
| docs | ||
| dom | ||
| parse | ||
| build.rs | ||
| Cargo.toml | ||
| clipboard_provider.rs | ||
| cors.rs | ||
| devtools.rs | ||
| document_loader.rs | ||
| layout_interface.rs | ||
| lib.rs | ||
| makefile.cargo | ||
| mem.rs | ||
| network_listener.rs | ||
| page.rs | ||
| script_task.rs | ||
| textinput.rs | ||
| timers.rs | ||
| unpremultiplytable.rs | ||
| webdriver_handlers.rs | ||