diff options
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); +} |