ffd259287d
Waste less space in the dialog by limiting the stretch to 10px and resize the servers_list with the dialog by setting stretch=1 so it can be made larger. Fixes https://github.com/spesmilo/electrum/issues/10519