From aeb2ee59a2881a1fe68919e7b9fb522487018c93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien?= Date: Wed, 24 Jul 2024 00:36:54 +0200 Subject: [PATCH] Added an option to hide the workbench-view toolbar (#16785) --- web-console/src/views/workbench-view/workbench-view.tsx | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/web-console/src/views/workbench-view/workbench-view.tsx b/web-console/src/views/workbench-view/workbench-view.tsx index 0fcaa5a1da9..a125b8d2987 100644 --- a/web-console/src/views/workbench-view/workbench-view.tsx +++ b/web-console/src/views/workbench-view/workbench-view.tsx @@ -104,6 +104,7 @@ export interface WorkbenchViewProps { maxTaskMenuHeader?: JSX.Element; enginesLabelFn?: ComponentProps['enginesLabelFn']; maxTaskLabelFn?: ComponentProps['maxTaskLabelFn']; + hideToolbar?: boolean; } export interface WorkbenchViewState { @@ -613,8 +614,9 @@ export class WorkbenchView extends React.PureComponent