I had a same problem. Electrum-GRS2.5.4 couldnot connect to server.
But now it works well.
After installing the Core, the Electrum-GRS can connect to server when I push the red button at the bottom of the right side.
I'm not sure it works to you. but, Why don't you try?
But now it works well.
After installing the Core, the Electrum-GRS can connect to server when I push the red button at the bottom of the right side.
I'm not sure it works to you. but, Why don't you try?