From ff3567678199ceb08c0f48c014fa4ec84539f5e0 Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <256895@studenti.unimore.it>
Date: Fri, 23 Apr 2021 19:08:17 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=9A=A7=20Add=20BoxFullScrollable=20(still?=
 =?UTF-8?q?=20WIP,=20doesn't=20support=20auto=20resizing)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Is it even possible?
---
 .../src/components/BoxFullScrollable.js       | 29 +++++++++++++++++++
 .../components/BoxFullScrollable.module.css   |  5 ++++
 2 files changed, 34 insertions(+)
 create mode 100644 code/frontend/src/components/BoxFullScrollable.js
 create mode 100644 code/frontend/src/components/BoxFullScrollable.module.css

diff --git a/code/frontend/src/components/BoxFullScrollable.js b/code/frontend/src/components/BoxFullScrollable.js
new file mode 100644
index 0000000..6fad196
--- /dev/null
+++ b/code/frontend/src/components/BoxFullScrollable.js
@@ -0,0 +1,29 @@
+import React from "react"
+import Style from "./BoxFullScrollable.module.css"
+import classNames from "classnames"
+import BoxFull from "./BoxFull"
+
+
+/**
+ * A {@link BoxFull} whose body does not grow automatically but instead supports scrolling.
+ *
+ * @todo Is there a way to allow the box body to grow automatically...?
+ *
+ * @param children - The contents of the box body.
+ * @param childrenClassName - Additional class(es) added to the inner `<div>` acting as the body.
+ * @param height - The fixed height of the box body.
+ * @param props - Additional props to pass to the box.
+ * @returns {JSX.Element}
+ * @constructor
+ */
+export default function BoxFullScrollable({ children, childrenClassName, height, ...props }) {
+    return (
+        <BoxFull
+            childrenClassName={classNames(Style.ScrollableBody, childrenClassName)}
+            childrenProps={{"style": {"height": height}}}
+            {...props}
+        >
+            {children}
+        </BoxFull>
+    )
+}
diff --git a/code/frontend/src/components/BoxFullScrollable.module.css b/code/frontend/src/components/BoxFullScrollable.module.css
new file mode 100644
index 0000000..e2a4b01
--- /dev/null
+++ b/code/frontend/src/components/BoxFullScrollable.module.css
@@ -0,0 +1,5 @@
+.ScrollableBody {
+    flex-grow: 0;
+
+    overflow-y: scroll;
+}