I dont know how electrum wallet was hacked.
just in case it's better to change the address of the wallet, it's not difficult.
after last news about meltdown, its seems nothing is impossible