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

Introduce GlobalScope::live_devtools_updates

Browse source
This commit is contained in:
Anthony Ramine 2016-09-27 14:39:44 +02:00
parent 3e5c0c386c
commit d7c2da450b
8 changed files with 20 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

9
components/script/dom/bindings/global.rs
View file

@ -258,15 +258,6 @@ impl<'a> GlobalRef<'a> {
)
}
/// Set the `bool` value to indicate whether developer tools has requested
/// updates from the global
pub fn set_devtools_wants_updates(&self, send_updates: bool) {
match *self {
GlobalRef::Window(window) => window.set_devtools_wants_updates(send_updates),
GlobalRef::Worker(worker) => worker.set_devtools_wants_updates(send_updates),
}
}
/// Schedule the given `callback` to be invoked after at least `duration` milliseconds have
/// passed.
pub fn schedule_callback(&self,