From 302aa2b3842e97e8d783e8209a392ae687245ceb Mon Sep 17 00:00:00 2001 From: Andrew Date: Thu, 17 Oct 2024 15:30:01 -0700 Subject: [PATCH] warning for devs --- extensions/void/package.json | 4 +--- extensions/void/src/sidebar/SidebarSettings.tsx | 7 ++++++- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/extensions/void/package.json b/extensions/void/package.json index e5680a9e..bcbbfb16 100644 --- a/extensions/void/package.json +++ b/extensions/void/package.json @@ -15,9 +15,7 @@ "contributes": { "configuration": { "title": "Void", - "properties": { - - } + "properties": {} }, "commands": [ { diff --git a/extensions/void/src/sidebar/SidebarSettings.tsx b/extensions/void/src/sidebar/SidebarSettings.tsx index a58af8ad..450f965e 100644 --- a/extensions/void/src/sidebar/SidebarSettings.tsx +++ b/extensions/void/src/sidebar/SidebarSettings.tsx @@ -84,7 +84,12 @@ export const SidebarSettings = () => { })} - + {/* Remove this after 10/21/24, this is just to give developers a heads up about the recent change */} +
+ {`We recently updated Settings. To copy your old Void settings over, press Ctrl+Shift+P, `} + {`type 'Open User Settings (JSON)',`} + {` and look for 'void.'. `} +
) }