/** * Persists the RecentRemoteServersList in Settings, adding the current ServerName and Username if not present, and bringing them * to the top of the list if they are */ public void PersistRecentRemoteServers(bool addCurrentServer) { if (addCurrentServer) { var newRemoteServerInfo = new RemoteServerConnectionInfo { ServerName = ServerName, UserName = Username }; RecentRemoteServersList.Remove(newRemoteServerInfo); RecentRemoteServersList.Insert(0, newRemoteServerInfo); } Settings.Default.RecentRemoteServers = JsonConvert.SerializeObject(RecentRemoteServersList); Settings.Default.Save(); }
public void RemoveRemoteServer(RemoteServerConnectionInfo toRemove) { RecentRemoteServersList.Remove(toRemove); RecentRemoteServers.Refresh(); PersistRecentRemoteServers(false); }