From 733bf0dcdfc8e1061681657c7ae269cd91deaae3 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Sun, 13 Apr 2025 09:52:32 -0700 Subject: [PATCH] feat: Add close button to hide leaderboard controls container --- aider/website/_includes/leaderboard_table.js | 10 ++++++++++ aider/website/docs/leaderboards/index.md | 3 ++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/aider/website/_includes/leaderboard_table.js b/aider/website/_includes/leaderboard_table.js index 9a6eda69e..87cdac744 100644 --- a/aider/website/_includes/leaderboard_table.js +++ b/aider/website/_includes/leaderboard_table.js @@ -415,5 +415,15 @@ document.addEventListener('DOMContentLoaded', function() { updateTableView('view'); // Initialize view to 'view' mode applySearchFilter(); // Apply initial search filter (if any text is pre-filled or just to set initial state) +// Close button functionality +const closeControlsBtn = document.getElementById('close-controls-btn'); +if (closeControlsBtn) { + closeControlsBtn.addEventListener('click', function() { + const controlsContainer = document.getElementById('controls-container'); + if (controlsContainer) { + controlsContainer.style.display = 'none'; + } + }); +} }); diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md index b5801239b..70703c4a3 100644 --- a/aider/website/docs/leaderboards/index.md +++ b/aider/website/docs/leaderboards/index.md @@ -16,13 +16,14 @@ human intervention. ## Aider polyglot coding leaderboard -
+
+