From a356eba786b6849421da9b68f1655e20f28cc627 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Sun, 10 Mar 2024 20:45:43 -0400
Subject: [PATCH] ui: Make the filter boxes a consistent height

---
 static/lib.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/lib.js b/static/lib.js
index 685cd10..10279ff 100644
--- a/static/lib.js
+++ b/static/lib.js
@@ -337,8 +337,9 @@ export class GraphPlot extends HTMLElement {
         const element = document.createElement("div");
         const select = document.createElement("select");
         select.setAttribute("name", id);
-        // TODO(jwall): This is how you set boolean attributes. Use the attribute named... :-(
+        // TODO(jwall): This is how you set boolean attributes. Use the attribute name... :-(
         select.setAttribute("multiple", "multiple");
+        select.setAttribute("size", "3");
         const optElement = document.createElement("option");
         const optValue = "Select All: " + key;
         optElement.innerText = optValue;