Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Rename Task to TaskBox

Browse source
This commit is contained in:
Anthony Ramine 2017-09-20 09:59:52 +02:00
parent f088b708c9
commit 52527d6f9d
19 changed files with 71 additions and 69 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/script/task_source/mod.rs
View file

@ -11,7 +11,7 @@ pub mod user_interaction;
use dom::globalscope::GlobalScope;
use std::result::Result;
use task::{Task, TaskCanceller};
use task::{TaskBox, TaskCanceller};
pub trait TaskSource {
fn queue_with_canceller<T>(
@ -20,11 +20,11 @@ pub trait TaskSource {
canceller: &TaskCanceller,
) -> Result<(), ()>
where
T: Task + 'static;
T: TaskBox + 'static;
fn queue<T>(&self, msg: Box<T>, global: &GlobalScope) -> Result<(), ()>
where
T: Task + 'static,
T: TaskBox + 'static,
{
self.queue_with_canceller(msg, &global.task_canceller())
}