Add CSS class to RTI TypePanel (#216)

kungfooman · Nov 7, 2024 · 1bc81f3 · 1bc81f3
1 parent e9c9ab4
commit 1bc81f3
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/repl/index.html b/repl/index.html
@@ -2,6 +2,12 @@
   <head>
     <script src="importmap.js"></script>
     <link rel="stylesheet" href="./node_modules/display-anything/src/DisplayAnything.css"></link>
+    <style>
+      .rti-all {
+        max-height: 200px;
+        overflow-y: scroll;
+      }
+    </style>
   </head>
   <body>
     <select id="action">

diff --git a/src-runtime/TypePanel.js b/src-runtime/TypePanel.js
@@ -75,6 +75,7 @@ class TypePanel {
     divAll.style.bottom = "0px";
     divAll.style.right = "0px";
     divAll.style.zIndex = "10";
+    divAll.classList.add('rti-all');
     niceDiv(div);
     inputEnable.checked = isEnabled();
     inputEnable.type = "checkbox";