From 074090c38214ea3c1783a80098118ce0846611ca Mon Sep 17 00:00:00 2001 From: Logan Ramos Date: Wed, 22 Feb 2023 09:16:03 -0700 Subject: [PATCH] Remove explorer when empty (#175132) --- src/vs/workbench/contrib/files/browser/explorerViewlet.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/contrib/files/browser/explorerViewlet.ts b/src/vs/workbench/contrib/files/browser/explorerViewlet.ts index b1239eac438..8c4267b61b5 100644 --- a/src/vs/workbench/contrib/files/browser/explorerViewlet.ts +++ b/src/vs/workbench/contrib/files/browser/explorerViewlet.ts @@ -277,6 +277,7 @@ export const VIEW_CONTAINER: ViewContainer = viewContainerRegistry.registerViewC storageId: 'workbench.explorer.views.state', icon: explorerViewIcon, alwaysUseContainerInfo: true, + hideIfEmpty: true, order: 0, openCommandActionDescriptor: { id: VIEWLET_ID,