From b95f01ed4eff161e8de7ceccd2b5fffccc5568e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 2 May 2023 10:14:28 +0200
Subject: [PATCH] [ivette] Laboratory: makes settings mandatory.
---
ivette/src/renderer/Laboratory.tsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/renderer/Laboratory.tsx b/ivette/src/renderer/Laboratory.tsx
index d7ea9d0d4bc..b65ef04c0f4 100644
--- a/ivette/src/renderer/Laboratory.tsx
+++ b/ivette/src/renderer/Laboratory.tsx
@@ -253,7 +253,7 @@ const makeGridItem = (customize: unknown, onClose: (id: string) => void) =>
type Shape = Json.json // Until Grids has a type Shape, use this one instead
interface CustomViewsProps {
- settings?: string,
+ settings: string,
shape: Shape,
setShape: (shape: Shape) => void,
views: React.PropsWithChildren<View>[]
@@ -537,7 +537,7 @@ function CustomGroup({
interface CustomPanelProps {
dnd?: DnD;
- settings?: string;
+ settings: string;
shape?: Shape;
setShape: (shape: Shape) => void;
setDragging: (id?: string) => void;
@@ -599,7 +599,7 @@ export interface LabViewProps {
/** Show component panels. */
customize?: boolean;
/** Base settings identifier. */
- settings?: string;
+ settings: string;
}
/**
--
GitLab