From afc5cf512b9579564362492425bf7aea45f0fb7e Mon Sep 17 00:00:00 2001 From: Mathew Pareles Date: Wed, 16 Apr 2025 03:21:14 -0700 Subject: [PATCH] remove tooltip for now --- .../browser/react/src/void-onboarding/VoidOnboarding.tsx | 5 +++++ .../void/browser/react/src/void-settings-tsx/Settings.tsx | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/void/browser/react/src/void-onboarding/VoidOnboarding.tsx b/src/vs/workbench/contrib/void/browser/react/src/void-onboarding/VoidOnboarding.tsx index 1b94ea7f..bb875d13 100644 --- a/src/vs/workbench/contrib/void/browser/react/src/void-onboarding/VoidOnboarding.tsx +++ b/src/vs/workbench/contrib/void/browser/react/src/void-onboarding/VoidOnboarding.tsx @@ -623,6 +623,11 @@ const VoidOnboardingContent = () => { } + bottom={ +
+ { setPageIndex(pageIndex - 1) }} /> +
+ } />, 2: