From 8b6ed3d1823876fa7e3c5ff6b1a9036aa22a72f4 Mon Sep 17 00:00:00 2001 From: est31 Date: Sun, 2 Jun 2019 07:10:40 +0200 Subject: Remove unused code from script* crates --- components/script/script_thread.rs | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'components/script/script_thread.rs') diff --git a/components/script/script_thread.rs b/components/script/script_thread.rs index 3d8d5bb1acc..f284e14dd0c 100644 --- a/components/script/script_thread.rs +++ b/components/script/script_thread.rs @@ -451,20 +451,12 @@ impl Documents { .map(|ref doc| DomRoot::from_ref(&**doc)) } - pub fn is_empty(&self) -> bool { - self.map.is_empty() - } - pub fn find_document(&self, pipeline_id: PipelineId) -> Option> { self.map .get(&pipeline_id) .map(|doc| DomRoot::from_ref(&**doc)) } - pub fn len(&self) -> usize { - self.map.len() - } - pub fn find_window(&self, pipeline_id: PipelineId) -> Option> { self.find_document(pipeline_id) .map(|doc| DomRoot::from_ref(doc.window())) @@ -824,13 +816,6 @@ impl ScriptThread { }) } - pub fn invoke_perform_a_microtask_checkpoint() { - SCRIPT_THREAD_ROOT.with(|root| { - let script_thread = unsafe { &*root.get().unwrap() }; - script_thread.perform_a_microtask_checkpoint() - }) - } - pub fn page_headers_available( id: &PipelineId, metadata: Option, -- cgit v1.2.3