From 4cc1da33198498038510302c192b9a0e38025cfe Mon Sep 17 00:00:00 2001 From: Jan Prochazka Date: Thu, 31 Dec 2020 16:12:33 +0100 Subject: [PATCH] new shell command --- packages/web/src/widgets/Toolbar.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/packages/web/src/widgets/Toolbar.js b/packages/web/src/widgets/Toolbar.js index d6321a52..57a9865e 100644 --- a/packages/web/src/widgets/Toolbar.js +++ b/packages/web/src/widgets/Toolbar.js @@ -96,6 +96,14 @@ export default function ToolBar({ toolbarPortalRef }) { showModal((modalState) => ); }; + const newShell = () => { + openNewTab({ + title: 'Shell', + icon: 'img shell', + tabComponent: 'ShellTab', + }); + }; + React.useEffect(() => { const { hash } = document.location; const openFavoriteName = hash && hash.startsWith('#favorite=') ? hash.substring('#favorite='.length) : null; @@ -138,6 +146,7 @@ export default function ToolBar({ toolbarPortalRef }) { {!!currentDatabase && Query designer} Free table editor Markdown page + JavaScript shell script