mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Miscellaneous build / tidy fixes.
This commit is contained in:
parent
5158f65810
commit
31e8e418ea
66 changed files with 566 additions and 294 deletions
|
@ -3454,7 +3454,12 @@ impl Document {
|
|||
let window_size = self.window().window_size();
|
||||
let viewport_size = window_size.initial_viewport;
|
||||
let device_pixel_ratio = window_size.device_pixel_ratio;
|
||||
Device::new(MediaType::screen(), viewport_size, device_pixel_ratio)
|
||||
Device::new(
|
||||
MediaType::screen(),
|
||||
self.quirks_mode(),
|
||||
viewport_size,
|
||||
device_pixel_ratio,
|
||||
)
|
||||
}
|
||||
|
||||
pub fn salvageable(&self) -> bool {
|
||||
|
@ -3551,8 +3556,9 @@ impl Document {
|
|||
} else {
|
||||
snapshot.other_attributes_changed = true;
|
||||
}
|
||||
if !snapshot.changed_attrs.contains(attr.local_name()) {
|
||||
snapshot.changed_attrs.push(attr.local_name().clone());
|
||||
let local_name = style::LocalName::cast(attr.local_name());
|
||||
if !snapshot.changed_attrs.contains(local_name) {
|
||||
snapshot.changed_attrs.push(local_name.clone());
|
||||
}
|
||||
if snapshot.attrs.is_none() {
|
||||
let attrs = el
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue