diff --git a/inst/htmljs/animint.js b/inst/htmljs/animint.js
index 01dd1e740..43bf034b4 100644
--- a/inst/htmljs/animint.js
+++ b/inst/htmljs/animint.js
@@ -2392,6 +2392,11 @@ var animint = function (to_select, json_file) {
       .attr("class", "table_selector_widgets")
     ;
     var selector_first_tr = selector_table.append("tr");
+    setTimeout(() => {
+      const selector_height = selector_table[0][0].clientHeight;
+      selector_table
+        .style('height', `${selector_height}px`);
+    }, 0);
     selector_first_tr
       .append("th")
       .text("Variable")