From 5787b5d439eb70e6ef882a4ce8ac3d9c97a6fc92 Mon Sep 17 00:00:00 2001 From: Alessio Vanni Date: Wed, 20 Feb 2019 14:17:33 +0100 Subject: Reinstate options.xul --- Makefile | 3 ++- js/vapi-background.js | 2 +- options.xul | 30 ++++++++++++++++++++++++++++++ 3 files changed, 33 insertions(+), 2 deletions(-) create mode 100644 options.xul diff --git a/Makefile b/Makefile index 4c40909..2090d2c 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,8 @@ # 2) It gives some flexibility in that files can be created or deleted # freely as long as they are not part of any of these lists -ROOTMETA := bootstrap.js install.rdf chrome.manifest icon.png LICENSE.txt +ROOTMETA := bootstrap.js install.rdf chrome.manifest icon.png LICENSE.txt \ + options.xul ROOTHTML := about.html asset-viewer.html background.html cloud-ui.html \ dashboard.html hosts-files.html logger-ui.html \ diff --git a/js/vapi-background.js b/js/vapi-background.js index d755e43..e3b0e79 100644 --- a/js/vapi-background.js +++ b/js/vapi-background.js @@ -3187,7 +3187,7 @@ var optionsObserver = (function() { }; })(); -// optionsObserver.register(); +optionsObserver.register(); /******************************************************************************/ /******************************************************************************/ diff --git a/options.xul b/options.xul new file mode 100644 index 0000000..dc2d353 --- /dev/null +++ b/options.xul @@ -0,0 +1,30 @@ + + + + + +