Gildas il y a 7 ans
Parent
commit
4642e5fd07
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      extension/ui/bg/ui-menu.js

+ 1 - 1
extension/ui/bg/ui-menu.js

@@ -173,7 +173,7 @@ singlefile.ui.menu = (() => {
 				defaultProfileId = MENU_ID_ASSOCIATE_WITH_PROFILE_PREFIX + "default";
 				defaultProfileChecked = !rule || rule.profile == singlefile.config.DEFAULT_PROFILE_NAME;
 				menus.create({
-					id: MENU_ID_ASSOCIATE_WITH_PROFILE_PREFIX + "default",
+					id: defaultProfileId,
 					type: "radio",
 					contexts: defaultContexts,
 					title: browser.i18n.getMessage("profileDefaultSettings"),