Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Replaced DOMString by String in devtools.

Browse source
This commit is contained in:
Alan Jeffrey 2015-11-10 15:40:10 -06:00
parent 9cbc4393eb
commit 5101506089
6 changed files with 27 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/dom/worker.rs
View file

@ -85,7 +85,7 @@ impl Worker {
let pipeline_id = global.pipeline();
let title = format!("Worker for {}", worker_url);
let page_info = DevtoolsPageInfo {
title: DOMString(title),
title: title,
url: worker_url.clone(),
};
chan.send(ScriptToDevtoolsControlMsg::NewGlobal((pipeline_id, Some(worker_id)),