// Zed settings//// For information on how to configure Zed, see the Zed// documentation: https://zed.dev/docs/configuring-zed//// To see all of Zed's default settings without changing your// custom settings, run `zed: open default settings` from the// command palette (cmd-shift-p / ctrl-shift-p){  "ui_font_size": 16,  "buffer_font_size": 15,  "theme": {    "mode": "system",    "light": "One Light",    "dark": "One Dark",  },}