mirror of
https://github.com/servo/servo.git
synced 2025-07-25 08:10:21 +01:00
Move util::tid to style
This commit is contained in:
parent
e3eeb643f0
commit
744b94346a
4 changed files with 2 additions and 2 deletions
|
@ -93,6 +93,7 @@ pub mod sequential;
|
||||||
pub mod servo;
|
pub mod servo;
|
||||||
pub mod sink;
|
pub mod sink;
|
||||||
pub mod stylesheets;
|
pub mod stylesheets;
|
||||||
|
mod tid;
|
||||||
pub mod traversal;
|
pub mod traversal;
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
#[allow(non_camel_case_types)]
|
#[allow(non_camel_case_types)]
|
||||||
|
|
|
@ -11,8 +11,8 @@ use selector_impl::SelectorImplExt;
|
||||||
use selectors::Element;
|
use selectors::Element;
|
||||||
use selectors::bloom::BloomFilter;
|
use selectors::bloom::BloomFilter;
|
||||||
use std::cell::RefCell;
|
use std::cell::RefCell;
|
||||||
|
use tid::tid;
|
||||||
use util::opts;
|
use util::opts;
|
||||||
use util::tid::tid;
|
|
||||||
|
|
||||||
/// Every time we do another layout, the old bloom filters are invalid. This is
|
/// Every time we do another layout, the old bloom filters are invalid. This is
|
||||||
/// detected by ticking a generation number every layout.
|
/// detected by ticking a generation number every layout.
|
||||||
|
|
|
@ -42,7 +42,6 @@ pub mod resource_files;
|
||||||
pub mod str;
|
pub mod str;
|
||||||
pub mod thread;
|
pub mod thread;
|
||||||
pub mod thread_state;
|
pub mod thread_state;
|
||||||
pub mod tid;
|
|
||||||
|
|
||||||
#[cfg(feature = "servo")]
|
#[cfg(feature = "servo")]
|
||||||
#[allow(unsafe_code)]
|
#[allow(unsafe_code)]
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue