diff options
author | Josh Matthews <josh@joshmatthews.net> | 2015-08-12 00:56:36 -0400 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2015-08-12 00:59:58 -0400 |
commit | e59de756081f0c5f3f0341cd8ded374537b2a22e (patch) | |
tree | b5faec442617b4df18b0d1aaedcea3d6647778db /components/script/lib.rs | |
parent | 47b9e89c6613b95ea4fe60c306390e89ce2c592c (diff) | |
download | servo-e59de756081f0c5f3f0341cd8ded374537b2a22e.tar.gz servo-e59de756081f0c5f3f0341cd8ded374537b2a22e.zip |
Simplify devtools frame marker notification. Record each frame tick based on a single message sent from the script task that ticked.
Diffstat (limited to 'components/script/lib.rs')
-rw-r--r-- | components/script/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/lib.rs b/components/script/lib.rs index 59b37f78a25..9967af74414 100644 --- a/components/script/lib.rs +++ b/components/script/lib.rs @@ -16,6 +16,7 @@ #![feature(custom_attribute)] #![feature(custom_derive)] #![feature(drain)] +#![feature(fnbox)] #![feature(hashmap_hasher)] #![feature(mpsc_select)] #![feature(nonzero)] |