I have 4 web browsers installed in Windows 8.1 and I had no problem making Opera the default. The setting is listed under the third heading in the options page for me.