mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
b1f0581637
Now we only query for the topmost node, and apply the hover state to all of the parent elements. This fixes things like #9705, where the hover state was applied only to the children. This also makes us more conformant with other browsers in the case of taking in account margins and paddings. For example, prior to this PR, when your mouse was over the inner element, in the bottom part, `hover` styles didn't apply to the parent. ```html <style> div { padding: 10px; margin: 10px; height: 15px; background: blue; } div:hover { background: red; } </style> <div> <div></div> </div> ``` Fixes #9705 |
||
|---|---|---|
| .. | ||
| 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 | ||
| reporter.rs | ||
| script_thread.rs | ||
| textinput.rs | ||
| timers.rs | ||
| unpremultiplytable.rs | ||
| webdriver_handlers.rs | ||