allow selection of workspace proxy


We deploy a set of workspace proxies around the world with a certain service provider.
That provider recently had an outage, and this appears to have lead to higher-than-normal latency on the proxy closest to me (Johannesburg). The proxy with the lowest latency doesn't seem to be chosen, nor can I configure it.

As a user I expected to be able to control this since I can select my preferred proxy in the Coder dashboard:


L’issue non indica file, test o punti di ingresso. Inizia tracciando il modo in cui l’estensione seleziona e si connette a un Coder workspace proxy, quindi confronta questo comportamento con il controllo del proxy preferito nella dashboard di Coder. Il lavoro è completo quando un utente può selezionare un workspace proxy e l’estensione utilizza tale selezione, anche quando i proxy hanno latenze diverse.

Scritto dal modello di indicizzazione a partire dal testo della issue.