SRETSS/SREBOT
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add game ID filter to /games search page (#1260)

Browse Source
This commit is contained in:
NotSoToothless
2026-05-18 12:34:46 -07:00
committed by GitHub
parent f7b5538d7b
commit 899dfbb9e5
1 changed files with 27 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
web/views/games.ejs
+27
View File
@@ -280,6 +280,10 @@
<div class="autocomplete-list" id="squadronDropdown"></div>
</div>
</div>
<div class="search-field" style="flex: 1.2;">
<label>Game ID</label>
<input type="text" class="search-input" id="gameIdInput" placeholder="e.g. 3a7f…" autocomplete="off" spellcheck="false" style="font-family: monospace; letter-spacing: 0.02em;">
</div>
<div class="search-field">
<label><%= t('games.filterByMap') %></label>
<select class="search-select" id="mapSelect">
@@ -518,6 +522,18 @@
});
async function searchGames() {
const gameId = document.getElementById('gameIdInput').value.trim();
if (gameId) {
if (!/^[0-9a-fA-F]+$/.test(gameId)) {
document.getElementById('gameIdInput').style.borderColor = 'rgba(255, 100, 100, 0.6)';
document.getElementById('gameIdInput').focus();
return;
}
window.location.href = `/games/${gameId}`;
return;
}
document.getElementById('gameIdInput').style.borderColor = '';
const player = document.getElementById('playerInput').value.trim();
const map = document.getElementById('mapSelect').value;
const squadron = selectedSquadronShort || document.getElementById('squadronInput').value.trim();
@@ -586,10 +602,21 @@
}
}
document.getElementById('gameIdInput').addEventListener('input', function() {
this.style.borderColor = '';
});
document.getElementById('gameIdInput').addEventListener('keydown', function(e) {
if (e.key === 'Enter') { e.preventDefault(); searchGames(); }
});
document.addEventListener('DOMContentLoaded', async () => {
await Promise.all([loadMaps(), loadLeaderboardData()]);
const params = new URLSearchParams(window.location.search);
if (params.get('game_id')) {
window.location.href = `/games/${params.get('game_id')}`;
return;
}
if (params.get('player')) {
document.getElementById('playerInput').value = params.get('player');
}