mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
parent
02dc8b286a
commit
643545b87f
3 changed files with 25 additions and 28 deletions
|
@ -9,13 +9,3 @@
|
|||
pub mod media_queries;
|
||||
pub mod restyle_damage;
|
||||
pub mod selector_parser;
|
||||
|
||||
use shared_lock::SharedRwLock;
|
||||
|
||||
lazy_static! {
|
||||
/// Per-process shared lock for author-origin stylesheets
|
||||
///
|
||||
/// FIXME: make it per-document or per-pipeline instead:
|
||||
/// https://github.com/servo/servo/issues/16027
|
||||
pub static ref AUTHOR_SHARED_LOCK: SharedRwLock = SharedRwLock::new();
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue