(gameName)
| 980 | } |
| 981 | |
| 982 | function setGameFilter(gameName) { |
| 983 | const gameFilter = document.getElementById("game-filter"); |
| 984 | if (gameFilter) { |
| 985 | gameFilter.value = gameName; |
| 986 | saveFilters(); |
| 987 | applyFilters(); |
| 988 | } |
| 989 | } |
| 990 | |
| 991 | function toggleModelSelection(event, modelName) { |
| 992 | event.stopPropagation(); |
no test coverage detected