mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
Expand the role of modified_elements to include explicit restyle hints and damage.
This will take the place of setting IS_DIRTY and HAS_CHANGED.
This commit is contained in:
parent
dda2928386
commit
0547a6b313
5 changed files with 93 additions and 27 deletions
|
@ -41,6 +41,7 @@ use dom::bindings::refcounted::{Trusted, TrustedPromise};
|
|||
use dom::bindings::reflector::{Reflectable, Reflector};
|
||||
use dom::bindings::str::{DOMString, USVString};
|
||||
use dom::bindings::utils::WindowProxyHandler;
|
||||
use dom::document::PendingRestyle;
|
||||
use encoding::types::EncodingRef;
|
||||
use euclid::{Matrix2D, Matrix4D, Point2D};
|
||||
use euclid::length::Length as EuclidLength;
|
||||
|
@ -348,6 +349,7 @@ no_jsmanaged_fields!(Mime);
|
|||
no_jsmanaged_fields!(AttrIdentifier);
|
||||
no_jsmanaged_fields!(AttrValue);
|
||||
no_jsmanaged_fields!(Snapshot);
|
||||
no_jsmanaged_fields!(PendingRestyle);
|
||||
no_jsmanaged_fields!(HttpsState);
|
||||
no_jsmanaged_fields!(Request);
|
||||
no_jsmanaged_fields!(RequestInit);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue