From e96af15a6151c93f97da0b50f0b2e80201770af3 Mon Sep 17 00:00:00 2001
From: Paul Lesur <git@lesurpaul.fr>
Date: Wed, 31 Jul 2024 19:51:35 +0200
Subject: [PATCH] fix user instruction + add enter-key event listener

---
 content/runaway_planning/results/_index.md | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/content/runaway_planning/results/_index.md b/content/runaway_planning/results/_index.md
index d4f5191..51009ea 100644
--- a/content/runaway_planning/results/_index.md
+++ b/content/runaway_planning/results/_index.md
@@ -4,11 +4,19 @@ title: Runaway Planning Results
 
 {{< dummy >}}
 
-<input type="number" id="resultId" min="0" max="99" default="0">
-<input type="submit" id="showResultButton">
+<h2>
+Please enter a number in the field below, and press enter. The corresponding
+dataset will be loaded.
+</h2>
 
-<p>If the video does not load for a given algorithm, that means it failed to
-compute a solution (within the 10s timeout).</p>
+<input type="number" id="resultId" min="0" max="99" default="0" />
+<input type="submit" id="showResultButton" value="Load dataset" />
+
+
+<h3>
+If the video does not load for a given algorithm, that means it failed to
+compute a solution (within the 10s timeout).
+</h3>
 
 <div>
     <p>Raw CBS</p>
@@ -35,6 +43,7 @@ compute a solution (within the 10s timeout).</p>
     var idField = document.getElementById("resultId");
     var button = document.getElementById("showResultButton");
     button.addEventListener("click", () => show_all_videos(idField.value)); 
+    idField.addEventListener("keypress", (event) => event.key === "Enter" && button.click());
 
     function show_one_video(videoDiv, n) {
         const videoLoc = "./" + videoDiv.id + "/from_generated_" + n + ".mp4";