Repositories view: change the Server textbox to a dropdown with recent/profiles
Please change the "Server:" textbox into a dropdown, containing the most recent servers used, or the server profiles we have setup, or both!
We should not have to enter the full server URL every time we need to switch servers, it becomes really cumbersome! Also, the effort spent on adding server profiles in Preferences is a bit wasted if it's not usable in all places like this one...
Thanks, that's a great fix!
Additionally, the Server textbox/editable-dropdown should remember/persist its contents when GUI is restarted, and separately for the Repositories and the Cloud views.
Oh, and this of course goes for the Cloud view as well! ;)