cb3c286fe2
In the GUI, when displaying the list of disconnected servers, we were filtering to only ":s" servers. Instead now we also show ":t" servers if they are bookmarked. Also, if bookmarked, we also show disconnected .onion servers, even when not using a Tor proxy. fixes https://github.com/spesmilo/electrum/issues/10374