Should I have chosen something other than the default wallet? Something with better encryption?
If you mean the default_wallet file then no. It's the same as any other wallet file you'll create in electrum. If you set a password for it the file will be encrypted.
If you think your money was stolen then make sure your PC is free of virus. And create an entirely new wallet and stop using the older ones.