{
  "telemetry": {
    "metrics": false,
    "diagnostics": false
  },
  "auto_update": false,
  "ui_font_size": 16,
  "buffer_font_size": 15,
  "base_keymap": "JetBrains",
  "buffer_font_family": "JetBrains Mono",
  "theme": {
    "mode": "dark",
    "light": "One Light",
    "dark": "One Dark"
  },
  "languages": {
    "Python": {
      "tab_size": 4
    }
  },
  "inlay_hints": {
    "enabled": true
  },
  "lsp": {
    "rust-analyzer": {
      "binary": {
        "ignore_system_version": true
      },
      "initialization_options": {
        "inlayHints": {
          "maxLength": null,
          "lifetimeElisionHints": {
            "enable": "skip_trivial",
            "useParameterNames": true
          },
          "closureReturnTypeHints": {
            "enable": "always"
          },
          "closureCaptureHints": {
            "enable": true
          }
        }
      }
    },
    "hls": {
      "initialization_options": {
        "haskell": {
          "formattingProvider": "fourmolu"
        }
      }
    }
  },
  "disable_ai": true,
  "icon_theme": {
    "mode": "dark",
    "light": "Zed (Default)",
    "dark": "Zed (Default)"
  }
}