zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-29 15:52:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix mis-description in default settings (#7564)

Browse Source 
Change word from "Stable" to "Dev" of option `dev`



Release Notes:

- N/A
This commit is contained in:
White Choco 2024-02-09 00:19:18 +09:00 committed by GitHub
parent a0b2614d57
commit bd390aabf4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
assets/settings/default.json
View File

@ -560,7 +560,7 @@
"stable": { "stable": {
// "theme": "Andromeda" // "theme": "Andromeda"
}, },
// Settings overrides to use when using Zed Stable. // Settings overrides to use when using Zed Dev.
// Mostly useful for developers who are managing multiple instances of Zed. // Mostly useful for developers who are managing multiple instances of Zed.
"dev": { "dev": {
// "theme": "Andromeda" // "theme": "Andromeda"