From 6c0ee9d917a1a411e15d903b1f318c4bda56bdb4 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Thu, 21 Nov 2024 10:41:35 -0800 Subject: [PATCH] feat: Enhance leaderboard search to support multi-word queries --- 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 ed53702eb..1d99ff9cb 100644 --- a/aider/website/_includes/edit-leaderboard.js +++ b/aider/website/_includes/edit-leaderboard.js @@ -75,7 +75,7 @@ document.addEventListener('DOMContentLoaded', function () { // Add search functionality for edit table document.getElementById('editSearchInput').addEventListener('keyup', function() { - var searchText = this.value.toLowerCase(); + var searchWords = this.value.toLowerCase().split(' ').filter(word => word.length > 0); var tableBody = document.querySelector('table:first-of-type tbody'); var rows = tableBody.getElementsByTagName('tr'); @@ -84,7 +84,7 @@ document.addEventListener('DOMContentLoaded', function () { for (var i = 0; i < rows.length; i++) { var rowText = rows[i].textContent.toLowerCase(); - if (rowText.includes(searchText)) { + if (searchWords.every(word => rowText.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 c54c44538..936f0ef5c 100644 --- a/aider/website/_includes/refactor-leaderboard.js +++ b/aider/website/_includes/refactor-leaderboard.js @@ -68,7 +68,7 @@ document.addEventListener('DOMContentLoaded', function () { // Add search functionality for refactoring table document.getElementById('refacSearchInput').addEventListener('keyup', function() { - var searchText = this.value.toLowerCase(); + var searchWords = this.value.toLowerCase().split(' ').filter(word => word.length > 0); var tableBody = document.querySelectorAll('table tbody')[1]; var rows = tableBody.getElementsByTagName('tr'); @@ -77,7 +77,7 @@ document.addEventListener('DOMContentLoaded', function () { for (var i = 0; i < rows.length; i++) { var rowText = rows[i].textContent.toLowerCase(); - if (rowText.includes(searchText)) { + if (searchWords.every(word => rowText.includes(word))) { rows[i].style.display = ''; leaderboardData.labels.push(allData[i].model); leaderboardData.datasets[0].data.push(allData[i].pass_rate_1);