title: How to set proxy through setting.json in JetBrains Toolbox?
body: <p>When I click change proxy setting button on this app, it will crash. And I realize that I can set proxy through settings.json. But in this file it shows like below.</p>
  
  <pre><code>{
      "autostart": true,
      "install_location": "D:/Jetbrains/ToolBox",
      "privacy_policy": {
          "eua_accepted_version": "1.1"
      },
      "proxy": null
      "shell_scripts": {
          "enabled": false
      },
      "statistics": {
          "allow": true
      },
      "update": {
          "filter": {
              "quality_filter": {
                  "order_value": 10000
              }
          }
      }
  }
  </code></pre>
  
  <p>I got no idea about <code>proxy:null</code>, there is no sample to help me figure out how to set proxy through json. So what's the right properties about proxy in this file? Could anybody give a sample?</p>