Prechádzať zdrojové kódy

fixed selection of current profile

Gildas 7 rokov pred
rodič
commit
7fa77a2abc
1 zmenil súbory, kde vykonal 1 pridanie a 1 odobranie
  1. 1 1
      extension/ui/bg/ui-menu.js

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

@@ -198,7 +198,7 @@ singlefile.ui.menu = (() => {
 				Object.keys(profiles).forEach((profileName, profileIndex) => {
 					if (profileName != singlefile.config.DEFAULT_PROFILE_NAME) {
 						let profileId = MENU_ID_SELECT_PROFILE_PREFIX + profileIndex;
-						let profileChecked = options.profileName == profileName;
+						let profileChecked = tabsData.profileName == profileName;
 						menus.create({
 							id: profileId,
 							type: "radio",