From ab5a06678074313efdae956c421db82d47218383 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <paul@aider.chat>
Date: Tue, 18 Mar 2025 14:05:06 -0700
Subject: [PATCH] feat: Add controls to video player in recording.js

---
 aider/website/_includes/recording.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/aider/website/_includes/recording.js b/aider/website/_includes/recording.js
index 8d4f35c31..a2f8cf627 100644
--- a/aider/website/_includes/recording.js
+++ b/aider/website/_includes/recording.js
@@ -121,7 +121,8 @@ document.addEventListener('DOMContentLoaded', function() {
       idleTimeLimit: 1,
       theme: "aider",
       poster: "npt:0:01",
-      markers: markers
+      markers: markers,
+      controls: true
     }
   );