mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Split fn script_chan into 5 different task channel fn
This commit is contained in:
parent
368dd1dc53
commit
8d90034d29
11 changed files with 98 additions and 39 deletions
|
@ -237,7 +237,28 @@ impl Window {
|
|||
self.js_runtime.borrow().as_ref().unwrap().cx()
|
||||
}
|
||||
|
||||
pub fn script_chan(&self) -> Box<ScriptChan + Send> {
|
||||
pub fn dom_manipulation_task_source(&self) -> Box<ScriptChan + Send> {
|
||||
// FIXME: Use a different channel instead of the generic script_chan
|
||||
self.script_chan.clone()
|
||||
}
|
||||
|
||||
pub fn user_interaction_task_source(&self) -> Box<ScriptChan + Send> {
|
||||
// FIXME: Use a different channel instead of the generic script_chan
|
||||
self.script_chan.clone()
|
||||
}
|
||||
|
||||
pub fn networking_task_source(&self) -> Box<ScriptChan + Send> {
|
||||
// FIXME: Use a different channel instead of the generic script_chan
|
||||
self.script_chan.clone()
|
||||
}
|
||||
|
||||
pub fn history_traversal_task_source(&self) -> Box<ScriptChan + Send> {
|
||||
// FIXME: Use a different channel instead of the generic script_chan
|
||||
self.script_chan.clone()
|
||||
}
|
||||
|
||||
pub fn file_reading_task_source(&self) -> Box<ScriptChan + Send> {
|
||||
// FIXME: Use a different channel instead of the generic script_chan
|
||||
self.script_chan.clone()
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue