diff options
| author | Sagar Muchhal <muchhalsagar88@gmail.com> | 2015-02-05 19:19:38 +0000 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2015-02-05 19:26:59 +0000 |
| commit | 5345edf51e54b270f0542aa1bde479b89c7938b7 (patch) | |
| tree | 1b0cff89c31ce6849f14068a07e5e34549301573 /components/script/devtools.rs | |
| parent | 0beb070d482323889556276b122624a2b14cd08b (diff) | |
| download | servo-5345edf51e54b270f0542aa1bde479b89c7938b7.tar.gz servo-5345edf51e54b270f0542aa1bde479b89c7938b7.zip | |
Add flag to send live updates to devtools.
Diffstat (limited to 'components/script/devtools.rs')
| -rw-r--r-- | components/script/devtools.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/components/script/devtools.rs b/components/script/devtools.rs index c7a81ff67a6..6c29223af63 100644 --- a/components/script/devtools.rs +++ b/components/script/devtools.rs @@ -108,3 +108,8 @@ pub fn handle_modify_attribute(page: &Rc<Page>, pipeline: PipelineId, node_id: S } } } + +pub fn handle_wants_live_notifications(page: &Rc<Page>, pipeline_id: PipelineId, send_notifications: bool) { + let page = get_page(&*page, pipeline_id); + page.devtools_wants_updates.set(send_notifications); +} |