Fixes a bug where the state manager would show an empty list (#410)

This commit is contained in:
Michael Green
2024-09-01 23:25:57 +10:00
committed by GitHub
parent 6185912151
commit fc09681cdd
2 changed files with 21 additions and 5 deletions

View File

@@ -3391,14 +3391,29 @@
"ZX81" "ZX81"
], ],
"Extensions": { "Extensions": {
"SupportedFileExtensions": [], "SupportedFileExtensions": [
".P",
".TZX",
".T81"
],
"UniqueFileExtensions": [] "UniqueFileExtensions": []
}, },
"RetroPieDirectoryName": "", "RetroPieDirectoryName": "",
"WebEmulator": { "WebEmulator": {
"Type": "", "Type": "EmulatorJS",
"Core": "", "Core": "81",
"AvailableWebEmulators": null "AvailableWebEmulators": [
{
"EmulatorType": "EmulatorJS",
"AvailableWebEmulatorCores": [
{
"Core": "81",
"AlternateCoreName": "81",
"Default": true
}
]
}
]
}, },
"Bios": [] "Bios": []
}, },

View File

@@ -432,7 +432,7 @@ function LoadGamePlatforms() {
if (result[i].emulatorConfiguration.emulatorType.length > 0 && result[i].emulatorConfiguration.core.length > 0 && result[i].favouriteRomId) { if (result[i].emulatorConfiguration.emulatorType.length > 0 && result[i].emulatorConfiguration.core.length > 0 && result[i].favouriteRomId) {
showSaveState = true; showSaveState = true;
romId = result[i].favouriteRomId; romId = result[i].favouriteRomId;
isMediaGroup = result[i].favouriteIsMediaGroup; isMediaGroup = result[i].favouriteRomIsMediagroup;
platformItem.setAttribute('isFavourite', true); platformItem.setAttribute('isFavourite', true);
platformItem.classList.add('platform_item_green'); platformItem.classList.add('platform_item_green');
@@ -492,6 +492,7 @@ function LoadGamePlatforms() {
platformStateManagerButton.innerHTML = '<img src="/images/SaveStates.png" class="savedstatemanagericon" />'; platformStateManagerButton.innerHTML = '<img src="/images/SaveStates.png" class="savedstatemanagericon" />';
platformStateManagerButton.addEventListener('click', (e) => { platformStateManagerButton.addEventListener('click', (e) => {
e.stopPropagation(); e.stopPropagation();
console.log('RomID: ' + romId + ' isMediaGroup: ' + isMediaGroup);
let stateManager = new EmulatorStateManager(romId, isMediaGroup, platformData.emulatorConfiguration.emulatorType, platformData.emulatorConfiguration.core, platformData.id, gameId, platformData.lastPlayedRomName); let stateManager = new EmulatorStateManager(romId, isMediaGroup, platformData.emulatorConfiguration.emulatorType, platformData.emulatorConfiguration.core, platformData.id, gameId, platformData.lastPlayedRomName);
stateManager.open(); stateManager.open();
}); });