mirror of
https://github.com/voideditor/void
synced 2026-05-24 09:58:23 +00:00
warning for devs
This commit is contained in:
parent
84ff9784ca
commit
302aa2b384
2 changed files with 7 additions and 4 deletions
|
|
@ -15,9 +15,7 @@
|
||||||
"contributes": {
|
"contributes": {
|
||||||
"configuration": {
|
"configuration": {
|
||||||
"title": "Void",
|
"title": "Void",
|
||||||
"properties": {
|
"properties": {}
|
||||||
|
|
||||||
}
|
|
||||||
},
|
},
|
||||||
"commands": [
|
"commands": [
|
||||||
{
|
{
|
||||||
|
|
|
||||||
|
|
@ -84,7 +84,12 @@ export const SidebarSettings = () => {
|
||||||
</div>
|
</div>
|
||||||
})}
|
})}
|
||||||
|
|
||||||
|
{/* Remove this after 10/21/24, this is just to give developers a heads up about the recent change */}
|
||||||
|
<div className='pt-20'>
|
||||||
|
{`We recently updated Settings. To copy your old Void settings over, press Ctrl+Shift+P, `}
|
||||||
|
{`type 'Open User Settings (JSON)',`}
|
||||||
|
{` and look for 'void.'. `}
|
||||||
|
</div>
|
||||||
</div>
|
</div>
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue