Parcourir la source

reset updatedResources when formtting the page

Gildas il y a 5 ans
Parent
commit
203f0ba370
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      extension/ui/bg/ui-editor.js

+ 1 - 0
extension/ui/bg/ui-editor.js

@@ -148,6 +148,7 @@ singlefile.extension.ui.bg.editor = (() => {
 	formatPageButton.onclick = () => {
 		if (formatPageButton.classList.contains("format-disabled")) {
 			formatPageButton.classList.remove("format-disabled");
+			updatedResources.length = 0;
 			editorElement.contentWindow.postMessage(JSON.stringify({ method: tabData.options.applySystemTheme ? "formatPage" : "formatPageNoTheme" }), "*");
 		}
 	};