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
It wasn't hacked. There was a vulnerability which opens the door to hackers.
It's the same case with meltdown.