From 473debdec6b2ae90cb0b003e9b6b3cbb375a85f7 Mon Sep 17 00:00:00 2001
From: campbell-m <87438215+campbell-m@users.noreply.github.com>
Date: Sun, 3 Nov 2024 10:19:02 +0000
Subject: [PATCH] Add comment

---
 web/js/refresh.js.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/web/js/refresh.js.php b/web/js/refresh.js.php
index be44c73df..8c1281fa4 100644
--- a/web/js/refresh.js.php
+++ b/web/js/refresh.js.php
@@ -605,6 +605,9 @@ function getIndices(slots, time) {
   // Do this on page_ready, rather than tableload, so that the scrolling doesn't happen after
   // every automatic refresh.  That would be a problem if the user has deliberately scrolled
   // somewhere else after the automatic scroll.
+  //
+  // TODO: Make sure that the booking that has just been made is visible in the table and
+  // TODO: scroll as necessary if not.
   ?>
   const searchParams = new URLSearchParams(window.location.search);
   const top = searchParams.get('top');