fixed handling of contextMenuEnabled when switching profiles

Former-commit-id: 82d01246fafb18985f7648dc2f50e1832dec5abb

extension/ui/bg/ui-menus.js

@@ -65,6 +65,7 @@ singlefile.extension.ui.bg.menus = (() => {
 
 	const menusCheckedState = new Map();
 	const menusTitleState = new Map();
+	let menusVisibleState;
 	let profileIndexes = new Map();
 	let menusCreated, pendingRefresh;
 	initialize();
@@ -431,6 +432,7 @@ singlefile.extension.ui.bg.menus = (() => {
 			promises.push(updateCheckedValue(MENU_ID_AUTO_SAVE_ALL, Boolean(tabsData.autoSaveAll)));
 			if (tab && tab.url) {
 				const options = await config.getOptions(tab.url);
+				promises.push(updateVisibleValue(tab, options.contextMenuEnabled));
 				promises.push(menus.update(MENU_ID_SAVE_SELECTED, { visible: !options.saveRawPage }));
 				let selectedEntryId = MENU_ID_ASSOCIATE_WITH_PROFILE_PREFIX + "default";
 				let title = MENU_CREATE_DOMAIN_RULE_MESSAGE;
@@ -457,6 +459,14 @@ singlefile.extension.ui.bg.menus = (() => {
 		}
 	}
 
+	async function updateVisibleValue(tab, visible) {
+		const lastVisibleValue = menusVisibleState;
+		menusVisibleState = visible;
+		if (lastVisibleValue === undefined || lastVisibleValue != visible) {
+			await createMenus(tab);
+		}
+	}
+
 	function updateTitleValue(id, title) {
 		const lastTitleValue = menusTitleState.get(id);
 		menusTitleState.set(id, title);