From 6cf78d1a3f15a487b0f233c0fabb43a8fb8f6db6 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Thu, 21 Nov 2024 10:41:59 -0800 Subject: [PATCH] feat: Implement case-insensitive search in leaderboard filtering --- aider/website/_includes/edit-leaderboard.js | 4 ++-- aider/website/_includes/refactor-leaderboard.js | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/aider/website/_includes/edit-leaderboard.js b/aider/website/_includes/edit-leaderboard.js index 1d99ff9cb..7aeaac769 100644 --- a/aider/website/_includes/edit-leaderboard.js +++ b/aider/website/_includes/edit-leaderboard.js @@ -83,8 +83,8 @@ document.addEventListener('DOMContentLoaded', function () { leaderboardData.datasets[0].data = []; for (var i = 0; i < rows.length; i++) { - var rowText = rows[i].textContent.toLowerCase(); - if (searchWords.every(word => rowText.includes(word))) { + var rowText = rows[i].textContent; + if (searchWords.every(word => rowText.toLowerCase().includes(word))) { rows[i].style.display = ''; leaderboardData.labels.push(allData[i].model); leaderboardData.datasets[0].data.push(allData[i].pass_rate_2); diff --git a/aider/website/_includes/refactor-leaderboard.js b/aider/website/_includes/refactor-leaderboard.js index 936f0ef5c..d540bde65 100644 --- a/aider/website/_includes/refactor-leaderboard.js +++ b/aider/website/_includes/refactor-leaderboard.js @@ -76,8 +76,8 @@ document.addEventListener('DOMContentLoaded', function () { leaderboardData.datasets[0].data = []; for (var i = 0; i < rows.length; i++) { - var rowText = rows[i].textContent.toLowerCase(); - if (searchWords.every(word => rowText.includes(word))) { + var rowText = rows[i].textContent; + if (searchWords.every(word => rowText.toLowerCase().includes(word))) { rows[i].style.display = ''; leaderboardData.labels.push(allData[i].model); leaderboardData.datasets[0].data.push(allData[i].pass_rate_1);