theme = "base16_default" [editor.file-picker] hidden = false