...

1 files changed, 14 insertions, 0 deletions

diff --git a/FrontEnd/src/components/InPortal.tsx b/FrontEnd/src/components/InPortal.tsx
new file mode 100644
index 00000000..7cb57ea8
--- /dev/null
+++ b/FrontEnd/src/components/InPortal.tsx
@@ -0,0 +1,14 @@
+import { ReactNode } from "react";
+import ReactDOM from "react-dom";
+
+const optionalPortalElement = window.document.getElementById("portal");
+if (optionalPortalElement == null) {
+  throw Error("No portal element found.");
+}
+
+const portalElement = optionalPortalElement;
+
+export default function InPortal({ children }: { children: ReactNode }) {
+  return ReactDOM.createPortal(<>{children}</>, portalElement);
+}
+