I didn’t find a solution for this, so I’ll just bump Omegatron: currently, to copy the source code of a web page to clipboard, you need to
- highlight what you want to copy
- right click
- select ‘View selection source’
- push ctrl-c (or right click and select copy).
Am I going to have to start hacking together a Firefox plugin to make this simpler?