// 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)
{
    "autosave": "on_window_change",
    "ssh_connections": [
        {
            "host": "miningtcup.me",
            "projects": [
                {
                    "paths": ["/home/ted/tmp"]
                }
            ]
        }
    ],
    "icon_theme": "Material Icon Theme",
    "tab_size": 4,
    "telemetry": {
        "metrics": false,
        "diagnostics": false
    },
    "ui_font_size": 15,
    "buffer_font_size": 15,
    "theme": {
        "mode": "system",
        "light": "One Dark",
        "dark": "One Dark"
    }
}
