OK, now I understood your comment. This JS code is for use in the address bar. Thanks!
But, why is it no longer possible to see the source from the "view-source:" prefix? Having to run a JS code is not a good choice.
Hopefully some Opera developer answered me...