diff --git a/platform/chromium/options_ui.html b/platform/chromium/options_ui.html index 9338070..a659edc 100644 --- a/platform/chromium/options_ui.html +++ b/platform/chromium/options_ui.html @@ -1,9 +1,10 @@ - - + + + diff --git a/platform/webext/options_ui.html b/platform/webext/options_ui.html new file mode 100644 index 0000000..368167a --- /dev/null +++ b/platform/webext/options_ui.html @@ -0,0 +1,12 @@ + + + + + + +
+ + + + + diff --git a/tools/make-webext.sh b/tools/make-webext.sh index 07a6ca0..bf855b1 100755 --- a/tools/make-webext.sh +++ b/tools/make-webext.sh @@ -16,6 +16,8 @@ cp platform/chromium/*.js $DES/js/ cp -R platform/chromium/img/* $DES/img/ cp LICENSE.txt $DES/ +cp platform/webext/options_ui.html $DES/ +rm $DES/js/options_ui.js cp platform/webext/polyfill.js $DES/js/ cp platform/webext/manifest.json $DES/