remove undefined filter warning

pull/2735/head^2
Gordon Williams 2023-05-05 13:52:00 +01:00
parent 017643f452
commit 4c51cd29d8
1 changed files with 17 additions and 15 deletions

View File

@ -107,6 +107,7 @@ function filterAppsForDevice(deviceId) {
// set the device dropdown
document.querySelector(".devicetype-nav span").innerText = device ? device.name : "All apps";
if (originalAppJSON) { // JSON might not have loaded yet
if (!device) {
if (deviceId!==undefined)
showToast(`Device ID ${deviceId} not recognised. Some apps may not work`, "warning");
@ -124,6 +125,7 @@ function filterAppsForDevice(deviceId) {
return false;
});
}
}
refreshLibrary();
}