1
0
Эх сурвалжийг харах

fix profile-name value when saving teh page with "Save page with profile" (fix #600)

Gildas 5 жил өмнө
parent
commit
5ea25ece90

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

@@ -461,6 +461,7 @@ singlefile.extension.ui.bg.menus = (() => {
 						const profileIndex = Number(profileId);
 						profileName = Object.keys(profiles)[profileIndex];
 					}
+					profiles[profileName].profileName = profileName;
 					business.saveTabs([tab], profiles[profileName]);
 				}
 				if (event.menuItemId.startsWith(MENU_ID_SELECT_PROFILE_PREFIX)) {