فهرست منبع

make sure the pending save is ended before a new save

Gildas 7 سال پیش
والد
کامیت
d1c5865d1f
1فایلهای تغییر یافته به همراه4 افزوده شده و 1 حذف شده
  1. 4 1
      extension/ui/bg/options.js

+ 4 - 1
extension/ui/bg/options.js

@@ -39,6 +39,7 @@
 		const shadowEnabledInput = document.getElementById("shadowEnabledInput");
 		const maxResourceSizeInput = document.getElementById("maxResourceSizeInput");
 		const maxResourceSizeEnabledInput = document.getElementById("maxResourceSizeEnabledInput");
+		let pendingSave = Promise.resolve();
 		document.getElementById("resetButton").addEventListener("click", () => {
 			bgPage.singlefile.config.reset()
 				.then(refresh)
@@ -68,7 +69,8 @@
 		}
 
 		async function update() {
-			await bgPage.singlefile.config.set({
+			await pendingSave;
+			pendingSave = bgPage.singlefile.config.set({
 				removeHiddenElements: removeHiddenElementsInput.checked,
 				removeUnusedCSSRules: removeUnusedCSSRulesInput.checked,
 				removeFrames: removeFramesInput.checked,
@@ -84,6 +86,7 @@
 				maxResourceSizeEnabled: maxResourceSizeEnabledInput.checked,
 				maxResourceSize: maxResourceSizeInput.value
 			});
+			await pendingSave;
 			await bgPage.singlefile.ui.update();
 		}
 	});