From f50ba37d3aca086afa9ef3b28014e6d6acbd0e5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Wed, 28 Aug 2024 21:31:15 +0200
Subject: [PATCH] Fix typos in CSS for tables

---
 bin/main.ml                                  |  2 +-
 vendor/brr_lwd_ui/lib/table/virtual_table.ml |  2 +-
 web/app.css                                  | 11 +++++++++--
 web/main.css                                 |  4 ++--
 4 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/bin/main.ml b/bin/main.ml
index 08b38fc..fcdfa01 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -202,7 +202,7 @@ let app =
       `R
         (Elwd.div
            ~at:[ `P (At.class' (Jstr.v "item-list")) ]
-           [ `R big_cover; `R filters; `R main_list ]);
+           [ `R big_cover; `R filters; `R (Elwd.div [ `R main_list ]) ]);
       `R
         (Elwd.div ~at:[ `P (At.class' (Jstr.v "playlist")) ] [ `R now_playing ]);
       `R player_ui;
diff --git a/vendor/brr_lwd_ui/lib/table/virtual_table.ml b/vendor/brr_lwd_ui/lib/table/virtual_table.ml
index c00f9f8..a1ac9df 100644
--- a/vendor/brr_lwd_ui/lib/table/virtual_table.ml
+++ b/vendor/brr_lwd_ui/lib/table/virtual_table.ml
@@ -261,7 +261,7 @@ let make (type data) ~(ui_table : Schema.fixed_row_height)
                 let last_update = ref 0. in
                 let timeout = ref (-1) in
                 let reset_ticker div =
-                  let debouncing_interval = 500 in
+                  let debouncing_interval = 800 in
                   (* We use [last_update] to have regular debounced updates and the
                      [timeout] to ensure that the last scroll event is always taken into
                      account even it it happens during the debouncing interval. *)
diff --git a/web/app.css b/web/app.css
index 63cff3a..86544e6 100644
--- a/web/app.css
+++ b/web/app.css
@@ -35,8 +35,9 @@ body {
     justify-items: stretch;
     align-items: stretch;
 
-    width: 100wv;
-    height: 100wh;
+    width: 100vw;
+    height: 100vh;
+    overflow: hidden;
 
     & .item-list,
     & .playlist {
@@ -45,6 +46,12 @@ body {
         flex-direction: column;
         height: 100%;
         overflow: hidden;
+        align-items: stretch;
+
+
+        &>div:last-child {
+            flex-grow: 1;
+        }
     }
 
     @media screen and (max-width: 512px) {
diff --git a/web/main.css b/web/main.css
index 0e23b5a..db9d392 100644
--- a/web/main.css
+++ b/web/main.css
@@ -20,6 +20,6 @@ body {
 }
 
 #main-layout {
-    width: 100wv;
-    height: 100wh;
+    width: 100vw;
+    height: 100vh;
 }