dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-25 23:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

feat: Implement case-insensitive search in leaderboard filtering

Browse source
This commit is contained in:
Paul Gauthier (aider) 2024-11-21 10:41:59 -08:00
parent 6c0ee9d917
commit 6cf78d1a3f
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
aider/website/_includes/edit-leaderboard.js
View file

@ -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);

4
aider/website/_includes/refactor-leaderboard.js
View file

@ -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);