function profileFromArgs(args) {
	if (!args) return null;
	const profileIndex = args.indexOf('--profile');
	if (profileIndex <= 0 || profileIndex >= args.length - 1) return null;
	const profileValue = args[profileIndex + 1];
	return profileValue ? profileValue : null;
}
function profileFromArgs(args) {
	if (!args) return null;
	const profileIndex = args.indexOf('--profile');
	if (profileIndex <= 0 || profileIndex >= args.length - 1) return null;
	const profileValue = args[profileIndex + 1];
	return profileValue ? profileValue : null;
}
function profileFromArgs ( args ) { if ( ! args ) return null ; const profileIndex = args . indexOf ( '--profile' ) ; if ( profileIndex <= 0 || profileIndex >= args . length - 1 ) return null ; const profileValue = args [ profileIndex + 1 ] ; return profileValue ? profileValue : null ; }
Likewise, we want to know if a profile is specified early, in particular to save the window state data.
Likewise we want to know if a profile is specified early in particular to save the window state data .
Get the profile value from the args