diff --git a/src/modules/workspace/tab.ts b/src/modules/workspace/tab.ts index 025c0fa..9a8bc3e 100644 --- a/src/modules/workspace/tab.ts +++ b/src/modules/workspace/tab.ts @@ -43,6 +43,8 @@ export function onTabSelect(tabType: string) { if (tabType === TAB_TYPE) { contextPaneOpen = splitter.getAttribute("state") != "collapsed"; splitter.setAttribute("state", "collapsed"); + } else if (tabType === "library") { + return; } else if (typeof contextPaneOpen !== "undefined") { splitter.setAttribute("state", contextPaneOpen ? "open" : "collapsed"); contextPaneOpen = undefined;