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 >}} - - +

+Please enter a number in the field below, and press enter. The corresponding +dataset will be loaded. +

-

If the video does not load for a given algorithm, that means it failed to -compute a solution (within the 10s timeout).

+ + + + +

+If the video does not load for a given algorithm, that means it failed to +compute a solution (within the 10s timeout). +

Raw CBS

@@ -35,6 +43,7 @@ compute a solution (within the 10s timeout).

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";