diff --git a/aider/website/_includes/leaderboard_table.js b/aider/website/_includes/leaderboard_table.js index 2b51d07eb..8f9f40a82 100644 --- a/aider/website/_includes/leaderboard_table.js +++ b/aider/website/_includes/leaderboard_table.js @@ -13,7 +13,7 @@ document.addEventListener('DOMContentLoaded', function() { const selectAllCheckbox = document.getElementById('select-all-checkbox'); const leaderboardTitle = document.getElementById('leaderboard-title'); // Get title element const defaultTitle = "Aider polyglot coding leaderboard"; - const filteredTitle = "Aider polyglot coding benchmark results"; + const filteredTitle = "Aider polyglot coding benchmark results (selected)"; function applySearchFilter() { const searchTerm = searchInput.value.toLowerCase();