theme = "monokai" [editor.file-picker] hidden = false git-ignore = false