From 2d3cf14c6e18acfbdac7dfac04d37489edbdd200 Mon Sep 17 00:00:00 2001 From: Eric Charles Date: Mon, 23 Oct 2023 17:17:58 +0200 Subject: [PATCH] fix: example --- .../react/src/examples/JupyterLabHeadlessApp.tsx | 2 +- packages/react/src/jupyter/lumino/Lumino.tsx | 13 ++++++++++--- packages/react/src/jupyter/lumino/LuminoBox.tsx | 4 ++-- 3 files changed, 13 insertions(+), 6 deletions(-) diff --git a/packages/react/src/examples/JupyterLabHeadlessApp.tsx b/packages/react/src/examples/JupyterLabHeadlessApp.tsx index 8bdaeeda..84bfe52c 100644 --- a/packages/react/src/examples/JupyterLabHeadlessApp.tsx +++ b/packages/react/src/examples/JupyterLabHeadlessApp.tsx @@ -30,7 +30,7 @@ const PATH_INDEX = 1; const JupyterLabHeadlessAppExample = () => { const [notebookBoxPanel, setNotebookBoxPanel] = useState(); - const [runningSessions, setRunningSessions] = useState(); + const [runningSessions, setRunningSessions] = useState(); const [theme, setTheme] = useState('light'); const [jupyterLabAdapter, setJupyterlabAdapter] = useState(); const { setColorMode } = useTheme(); diff --git a/packages/react/src/jupyter/lumino/Lumino.tsx b/packages/react/src/jupyter/lumino/Lumino.tsx index 993aaadf..8f9fdefd 100644 --- a/packages/react/src/jupyter/lumino/Lumino.tsx +++ b/packages/react/src/jupyter/lumino/Lumino.tsx @@ -26,13 +26,20 @@ export const Lumino = (props: LuminoProps) => { Widget.detach(children); } } catch(e) { - // no-op - // console.debug('Exception while detaching Lumino widget.', e); + // no-op. +// console.debug('Exception while detaching Lumino widget.', e); } } } }, [ref, children]); - return
+ return ( +
+
+ ) } Lumino.defaultProps = { diff --git a/packages/react/src/jupyter/lumino/LuminoBox.tsx b/packages/react/src/jupyter/lumino/LuminoBox.tsx index cc9cae68..75c0b0fd 100644 --- a/packages/react/src/jupyter/lumino/LuminoBox.tsx +++ b/packages/react/src/jupyter/lumino/LuminoBox.tsx @@ -30,8 +30,8 @@ export const LuminoBox = (props: LuminoBoxProps) => { Widget.detach(boxPanel); } } catch(e) { - // no-op - // console.debug('Exception while detaching Lumino widget.', e); + // no-op. +// console.debug('Exception while detaching Lumino widget.', e); } } }