From aefa2bd2c756493712f027787997ce16e28e1a76 Mon Sep 17 00:00:00 2001 From: Alex Andreev Date: Tue, 14 Feb 2023 15:08:16 +0300 Subject: [PATCH] Add a bit of spacing before Installed extensions title Signed-off-by: Alex Andreev --- .../core/src/renderer/components/+extensions/extensions.tsx | 3 +++ 1 file changed, 3 insertions(+) diff --git a/packages/core/src/renderer/components/+extensions/extensions.tsx b/packages/core/src/renderer/components/+extensions/extensions.tsx index b9dfdb791b..e039822eb0 100644 --- a/packages/core/src/renderer/components/+extensions/extensions.tsx +++ b/packages/core/src/renderer/components/+extensions/extensions.tsx @@ -37,6 +37,7 @@ import installOnDropInjectable from "./install-on-drop.injectable"; import { supportedExtensionFormats } from "./supported-extension-formats"; import extensionInstallationStateStoreInjectable from "../../../extensions/extension-installation-state-store/extension-installation-state-store.injectable"; import type { ExtensionInstallationStateStore } from "../../../extensions/extension-installation-state-store/extension-installation-state-store"; +import Gutter from "../gutter/gutter"; interface Dependencies { userExtensions: IComputedValue; @@ -113,6 +114,8 @@ class NonInjectedExtensions extends React.Component { installPath={this.installPath} /> + +