Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #2244 from zed-industries/less-surprising-defaults

Browse source 
Clean up some default settings
This commit is contained in:
Max Brunsfeld 2023-03-13 11:54:46 -07:00 • committed by GitHub
commit 1096720b41
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/settings/src/settings.rs
View file

@ -327,8 +327,6 @@ impl Column for DockAnchor {
#[derive(Clone, Debug, Default, Serialize, Deserialize, JsonSchema)]
pub struct SettingsFileContent {
#[serde(default)]
pub projects_online_by_default: Option<bool>,
#[serde(default)]
pub buffer_font_family: Option<String>,
#[serde(default)]