options.js 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227
  1. /*
  2. * Copyright 2018 Gildas Lormeau
  3. * contact : gildas.lormeau <at> gmail.com
  4. *
  5. * This file is part of SingleFile.
  6. *
  7. * SingleFile is free software: you can redistribute it and/or modify
  8. * it under the terms of the GNU Lesser General Public License as published by
  9. * the Free Software Foundation, either version 3 of the License, or
  10. * (at your option) any later version.
  11. *
  12. * SingleFile is distributed in the hope that it will be useful,
  13. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. * GNU Lesser General Public License for more details.
  16. *
  17. * You should have received a copy of the GNU Lesser General Public License
  18. * along with SingleFile. If not, see <http://www.gnu.org/licenses/>.
  19. */
  20. /* global browser, document */
  21. (async () => {
  22. const bgPage = await browser.runtime.getBackgroundPage();
  23. const removeHiddenElementsLabel = document.getElementById("removeHiddenElementsLabel");
  24. const removeUnusedStylesLabel = document.getElementById("removeUnusedStylesLabel");
  25. const removeFramesLabel = document.getElementById("removeFramesLabel");
  26. const removeImportsLabel = document.getElementById("removeImportsLabel");
  27. const removeScriptsLabel = document.getElementById("removeScriptsLabel");
  28. const saveRawPageLabel = document.getElementById("saveRawPageLabel");
  29. const compressHTMLLabel = document.getElementById("compressHTMLLabel");
  30. const compressCSSLabel = document.getElementById("compressCSSLabel");
  31. const lazyLoadImagesLabel = document.getElementById("lazyLoadImagesLabel");
  32. const addMenuEntryLabel = document.getElementById("addMenuEntryLabel");
  33. const appendSaveDateLabel = document.getElementById("appendSaveDateLabel");
  34. const shadowEnabledLabel = document.getElementById("shadowEnabledLabel");
  35. const setMaxResourceSizeLabel = document.getElementById("setMaxResourceSizeLabel");
  36. const maxResourceSizeLabel = document.getElementById("maxResourceSizeLabel");
  37. const confirmFilenameLabel = document.getElementById("confirmFilenameLabel");
  38. const removeAudioLabel = document.getElementById("removeAudioLabel");
  39. const removeVideoLabel = document.getElementById("removeVideoLabel");
  40. const displayInfobarLabel = document.getElementById("displayInfobarLabel");
  41. const displayStatsLabel = document.getElementById("displayStatsLabel");
  42. const backgroundSaveLabel = document.getElementById("backgroundSaveLabel");
  43. const autoSaveDelayLabel = document.getElementById("autoSaveDelayLabel");
  44. const autoSaveLoadLabel = document.getElementById("autoSaveLoadLabel");
  45. const autoSaveUnloadLabel = document.getElementById("autoSaveUnloadLabel");
  46. const autoSaveLoadOrUnloadLabel = document.getElementById("autoSaveLoadOrUnloadLabel");
  47. const removeAlternativeFontsLabel = document.getElementById("removeAlternativeFontsLabel");
  48. const removeAlternativeImagesLabel = document.getElementById("removeAlternativeImagesLabel");
  49. const removeAlternativeMediasLabel = document.getElementById("removeAlternativeMediasLabel");
  50. const titleLabel = document.getElementById("titleLabel");
  51. const userInterfaceLabel = document.getElementById("userInterfaceLabel");
  52. const filenameLabel = document.getElementById("filenameLabel");
  53. const htmlContentLabel = document.getElementById("htmlContentLabel");
  54. const imagesLabel = document.getElementById("imagesLabel");
  55. const stylesheetsLabel = document.getElementById("stylesheetsLabel");
  56. const otherResourcesLabel = document.getElementById("otherResourcesLabel");
  57. const autoSaveLabel = document.getElementById("autoSaveLabel");
  58. const miscLabel = document.getElementById("miscLabel");
  59. const helpLabel = document.getElementById("helpLabel");
  60. const resetButton = document.getElementById("resetButton");
  61. const removeHiddenElementsInput = document.getElementById("removeHiddenElementsInput");
  62. const removeUnusedStylesInput = document.getElementById("removeUnusedStylesInput");
  63. const removeFramesInput = document.getElementById("removeFramesInput");
  64. const removeImportsInput = document.getElementById("removeImportsInput");
  65. const removeScriptsInput = document.getElementById("removeScriptsInput");
  66. const saveRawPageInput = document.getElementById("saveRawPageInput");
  67. const compressHTMLInput = document.getElementById("compressHTMLInput");
  68. const compressCSSInput = document.getElementById("compressCSSInput");
  69. const lazyLoadImagesInput = document.getElementById("lazyLoadImagesInput");
  70. const contextMenuEnabledInput = document.getElementById("contextMenuEnabledInput");
  71. const appendSaveDateInput = document.getElementById("appendSaveDateInput");
  72. const shadowEnabledInput = document.getElementById("shadowEnabledInput");
  73. const maxResourceSizeInput = document.getElementById("maxResourceSizeInput");
  74. const maxResourceSizeEnabledInput = document.getElementById("maxResourceSizeEnabledInput");
  75. const confirmFilenameInput = document.getElementById("confirmFilenameInput");
  76. const removeAudioSrcInput = document.getElementById("removeAudioSrcInput");
  77. const removeVideoSrcInput = document.getElementById("removeVideoSrcInput");
  78. const displayInfobarInput = document.getElementById("displayInfobarInput");
  79. const displayStatsInput = document.getElementById("displayStatsInput");
  80. const backgroundSaveInput = document.getElementById("backgroundSaveInput");
  81. const autoSaveDelayInput = document.getElementById("autoSaveDelayInput");
  82. const autoSaveLoadInput = document.getElementById("autoSaveLoadInput");
  83. const autoSaveUnloadInput = document.getElementById("autoSaveUnloadInput");
  84. const autoSaveLoadOrUnloadInput = document.getElementById("autoSaveLoadOrUnloadInput");
  85. const removeAlternativeFontsInput = document.getElementById("removeAlternativeFontsInput");
  86. const removeSrcSetInput = document.getElementById("removeSrcSetInput");
  87. const removeAlternativeMediasInput = document.getElementById("removeAlternativeMediasInput");
  88. let pendingSave = Promise.resolve();
  89. resetButton.addEventListener("click", async () => {
  90. await bgPage.singlefile.config.reset();
  91. await refresh();
  92. await update();
  93. }, false);
  94. maxResourceSizeEnabledInput.addEventListener("click", () => maxResourceSizeInput.disabled = !maxResourceSizeEnabledInput.checked, false);
  95. autoSaveUnloadInput.addEventListener("click", async () => {
  96. autoSaveDelayInput.disabled = autoSaveUnloadInput.checked;
  97. await bgPage.singlefile.ui.autosave.refresh();
  98. }, false);
  99. autoSaveLoadOrUnloadInput.addEventListener("click", async () => {
  100. autoSaveUnloadInput.disabled = autoSaveLoadInput.disabled = autoSaveLoadOrUnloadInput.checked;
  101. if (autoSaveLoadOrUnloadInput.checked) {
  102. autoSaveUnloadInput.checked = autoSaveLoadInput.checked = false;
  103. } else {
  104. autoSaveUnloadInput.checked = false;
  105. autoSaveLoadInput.checked = true;
  106. }
  107. await bgPage.singlefile.ui.autosave.refresh();
  108. }, false);
  109. document.body.onchange = update;
  110. removeHiddenElementsLabel.textContent = browser.i18n.getMessage("optionRemoveHiddenElements");
  111. removeUnusedStylesLabel.textContent = browser.i18n.getMessage("optionRemoveUnusedStyles");
  112. removeFramesLabel.textContent = browser.i18n.getMessage("optionRemoveFrames");
  113. removeImportsLabel.textContent = browser.i18n.getMessage("optionRemoveImports");
  114. removeScriptsLabel.textContent = browser.i18n.getMessage("optionRemoveScripts");
  115. saveRawPageLabel.textContent = browser.i18n.getMessage("optionSaveRawPage");
  116. compressHTMLLabel.textContent = browser.i18n.getMessage("optionCompressHTML");
  117. compressCSSLabel.textContent = browser.i18n.getMessage("optionCompressCSS");
  118. lazyLoadImagesLabel.textContent = browser.i18n.getMessage("optionLazyLoadImages");
  119. addMenuEntryLabel.textContent = browser.i18n.getMessage("optionAddMenuEntry");
  120. appendSaveDateLabel.textContent = browser.i18n.getMessage("optionAppendSaveDate");
  121. shadowEnabledLabel.textContent = browser.i18n.getMessage("optionDisplayShadow");
  122. setMaxResourceSizeLabel.textContent = browser.i18n.getMessage("optionSetMaxResourceSize");
  123. maxResourceSizeLabel.textContent = browser.i18n.getMessage("optionMaxResourceSize");
  124. confirmFilenameLabel.textContent = browser.i18n.getMessage("optionConfirmFilename");
  125. removeAudioLabel.textContent = browser.i18n.getMessage("optionRemoveAudio");
  126. removeVideoLabel.textContent = browser.i18n.getMessage("optionRemoveVideo");
  127. displayInfobarLabel.textContent = browser.i18n.getMessage("optionDisplayInfobar");
  128. displayStatsLabel.textContent = browser.i18n.getMessage("optionDisplayStats");
  129. backgroundSaveLabel.textContent = browser.i18n.getMessage("optionBackgroundSave");
  130. autoSaveDelayLabel.textContent = browser.i18n.getMessage("optionAutoSaveDelay");
  131. autoSaveLoadLabel.textContent = browser.i18n.getMessage("optionAutoSaveLoad");
  132. autoSaveUnloadLabel.textContent = browser.i18n.getMessage("optionAutoSaveUnload");
  133. autoSaveLoadOrUnloadLabel.textContent = browser.i18n.getMessage("optionAutoSaveLoadOrUnload");
  134. removeAlternativeFontsLabel.textContent = browser.i18n.getMessage("optionRemoveAlternativeFonts");
  135. removeAlternativeImagesLabel.textContent = browser.i18n.getMessage("optionRemoveAlternativeImages");
  136. removeAlternativeMediasLabel.textContent = browser.i18n.getMessage("optionRemoveAlternativeMedias");
  137. titleLabel.textContent = browser.i18n.getMessage("optionsTitle");
  138. userInterfaceLabel.textContent = browser.i18n.getMessage("optionsUserInterfaceSubTitle");
  139. filenameLabel.textContent = browser.i18n.getMessage("optionsFileNameSubTitle");
  140. htmlContentLabel.textContent = browser.i18n.getMessage("optionsHTMLContentSubTitle");
  141. imagesLabel.textContent = browser.i18n.getMessage("optionsImagesSubTitle");
  142. stylesheetsLabel.textContent = browser.i18n.getMessage("optionsStylesheetsSubTitle");
  143. otherResourcesLabel.textContent = browser.i18n.getMessage("optionsOtherResourcesSubTitle");
  144. autoSaveLabel.textContent = browser.i18n.getMessage("optionsAutoSaveSubTitle");
  145. miscLabel.textContent = browser.i18n.getMessage("optionsMiscSubTitle");
  146. helpLabel.textContent = browser.i18n.getMessage("optionsHelpLink");
  147. resetButton.textContent = browser.i18n.getMessage("optionsResetButton");
  148. resetButton.title = browser.i18n.getMessage("optionsResetTooltip");
  149. refresh();
  150. async function refresh() {
  151. const config = await bgPage.singlefile.config.get();
  152. removeHiddenElementsInput.checked = config.removeHiddenElements;
  153. removeUnusedStylesInput.checked = config.removeUnusedStyles;
  154. removeFramesInput.checked = config.removeFrames;
  155. removeImportsInput.checked = config.removeImports;
  156. removeScriptsInput.checked = config.removeScripts;
  157. saveRawPageInput.checked = config.saveRawPage;
  158. compressHTMLInput.checked = config.compressHTML;
  159. compressCSSInput.checked = config.compressCSS;
  160. lazyLoadImagesInput.checked = config.lazyLoadImages;
  161. contextMenuEnabledInput.checked = config.contextMenuEnabled;
  162. appendSaveDateInput.checked = config.appendSaveDate;
  163. shadowEnabledInput.checked = config.shadowEnabled;
  164. maxResourceSizeEnabledInput.checked = config.maxResourceSizeEnabled;
  165. maxResourceSizeInput.value = config.maxResourceSize;
  166. maxResourceSizeInput.disabled = !config.maxResourceSizeEnabled;
  167. confirmFilenameInput.checked = config.confirmFilename;
  168. removeAudioSrcInput.checked = config.removeAudioSrc;
  169. removeVideoSrcInput.checked = config.removeVideoSrc;
  170. displayInfobarInput.checked = config.displayInfobar;
  171. displayStatsInput.checked = config.displayStats;
  172. backgroundSaveInput.checked = config.backgroundSave;
  173. autoSaveDelayInput.value = config.autoSaveDelay;
  174. autoSaveDelayInput.disabled = config.autoSaveUnload;
  175. autoSaveLoadInput.checked = !config.autoSaveLoadOrUnload && config.autoSaveLoad;
  176. autoSaveLoadOrUnloadInput.checked = config.autoSaveLoadOrUnload;
  177. autoSaveUnloadInput.checked = !config.autoSaveLoadOrUnload && config.autoSaveUnload;
  178. autoSaveLoadInput.disabled = config.autoSaveLoadOrUnload;
  179. autoSaveUnloadInput.disabled = config.autoSaveLoadOrUnload;
  180. removeAlternativeFontsInput.checked = config.removeAlternativeFonts;
  181. removeSrcSetInput.checked = config.removeSrcSet;
  182. removeAlternativeMediasInput.checked = config.removeAlternativeMedias;
  183. }
  184. async function update() {
  185. await pendingSave;
  186. pendingSave = bgPage.singlefile.config.set({
  187. removeHiddenElements: removeHiddenElementsInput.checked,
  188. removeUnusedStyles: removeUnusedStylesInput.checked,
  189. removeFrames: removeFramesInput.checked,
  190. removeImports: removeImportsInput.checked,
  191. removeScripts: removeScriptsInput.checked,
  192. saveRawPage: saveRawPageInput.checked,
  193. compressHTML: compressHTMLInput.checked,
  194. compressCSS: compressCSSInput.checked,
  195. lazyLoadImages: lazyLoadImagesInput.checked,
  196. contextMenuEnabled: contextMenuEnabledInput.checked,
  197. appendSaveDate: appendSaveDateInput.checked,
  198. shadowEnabled: shadowEnabledInput.checked,
  199. maxResourceSizeEnabled: maxResourceSizeEnabledInput.checked,
  200. maxResourceSize: maxResourceSizeInput.value,
  201. confirmFilename: confirmFilenameInput.checked,
  202. removeAudioSrc: removeAudioSrcInput.checked,
  203. removeVideoSrc: removeVideoSrcInput.checked,
  204. displayInfobar: displayInfobarInput.checked,
  205. displayStats: displayStatsInput.checked,
  206. backgroundSave: backgroundSaveInput.checked,
  207. autoSaveDelay: autoSaveDelayInput.value,
  208. autoSaveLoad: autoSaveLoadInput.checked,
  209. autoSaveUnload: autoSaveUnloadInput.checked,
  210. autoSaveLoadOrUnload: autoSaveLoadOrUnloadInput.checked,
  211. removeAlternativeFonts: removeAlternativeFontsInput.checked,
  212. removeSrcSet: removeSrcSetInput.checked,
  213. removeAlternativeMedias: removeAlternativeMediasInput.checked
  214. });
  215. await pendingSave;
  216. await bgPage.singlefile.ui.menu.refresh();
  217. }
  218. })();