Merge pull request #5985 from aaronraimist/blank-device-name

Show device ID in UserInfo when there is no device name
This commit is contained in:
Michael Telatynski 2021-05-10 16:19:56 +01:00 committed by GitHub
commit 95b43d1284
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -187,9 +187,15 @@ function DeviceItem({userId, device}: {userId: string, device: IDevice}) {
verifyDevice(cli.getUser(userId), device); verifyDevice(cli.getUser(userId), device);
}; };
const deviceName = device.ambiguous ? let deviceName;
(device.getDisplayName() ? device.getDisplayName() : "") + " (" + device.deviceId + ")" : if (!device.getDisplayName()?.trim()) {
device.getDisplayName(); deviceName = device.deviceId;
} else {
deviceName = device.ambiguous ?
device.getDisplayName() + " (" + device.deviceId + ")" :
device.getDisplayName();
}
let trustedLabel = null; let trustedLabel = null;
if (userTrust.isVerified()) trustedLabel = isVerified ? _t("Trusted") : _t("Not trusted"); if (userTrust.isVerified()) trustedLabel = isVerified ? _t("Trusted") : _t("Not trusted");