From 2252847e893b04761dc01605a19370642fd6c60c Mon Sep 17 00:00:00 2001
From: Camille Barneaud <1693643+gadcam@users.noreply.github.com>
Date: Fri, 8 Jun 2018 04:56:45 +0200
Subject: [PATCH] Fix options page (#2327)

Bug report: #2325
The value was already correct in local storage but it was not change in <code>options</code> dictionnary in the driver.
---
 src/drivers/webextension/js/options.js | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/drivers/webextension/js/options.js b/src/drivers/webextension/js/options.js
index fc69619f8..4c5d7cc67 100644
--- a/src/drivers/webextension/js/options.js
+++ b/src/drivers/webextension/js/options.js
@@ -11,11 +11,11 @@ function getOption(name, defaultValue, callback) {
 }
 
 function setOption(name, value) {
-  var option = {};
-
-  option[name] = value;
-
-  browser.storage.local.set(option);
+  ( chrome || browser ).runtime.sendMessage({
+    id: 'set_option',
+    key: name,
+    value: value
+  });
 }
 
 document.addEventListener('DOMContentLoaded', () => {