From 2509290ab2a5bfd06bbf7c707dba11fc5b20cebc Mon Sep 17 00:00:00 2001 From: Mathew Pareles Date: Wed, 9 Apr 2025 23:55:43 -0700 Subject: [PATCH] spacing --- .../void/browser/react/src/void-settings-tsx/Settings.tsx | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx b/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx index 7947df96..7a3b94ee 100644 --- a/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx +++ b/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx @@ -887,7 +887,7 @@ const GeneralTab = () => { return <>

One-Click Switch

-

{`Transfer your settings from another editor to Void in one click.`}

+

{`Transfer your settings from another editor to Void in one click.`}

@@ -900,7 +900,7 @@ const GeneralTab = () => {

Built-in Settings

-

{`IDE settings, keyboard settings, and theme customization.`}

+

{`IDE settings, keyboard settings, and theme customization.`}

{ commandService.executeCommand('workbench.action.openSettings') }}> @@ -1100,7 +1100,7 @@ const PreviousButton = ({ onClick, ...props }: { onClick: () => void } & React.B } -const ollamaSetupInstructions =
+const ollamaSetupInstructions =
@@ -1628,7 +1628,7 @@ const VoidOnboarding = () => {
Settings and Themes
-

Transfer your settings from an existing editor?

+

Transfer your settings from an existing editor?