Das Javascript befehle in der Adresszeile des Internetexplorer funktionieren ist mir neu.
Folgendes Script habe ich in diesem Zusammenhang bei Thomas Wölfer endeckt.
javascript:window.open( '', '', '' ).document.write( '<textarea rows="40" cols="80">' + document.body.parentNode.innerHTML + '</textarea>' );
Es bewirkt, dass der HTML-Quellcode in einem neuen Browserfenster angezeigt wird.
Ich habe mir ein Bookmark daraus gemacht und in die Linkleiste gelegt
:-)
... das funktioniert und spart mir den lästigen rechten Mausklick um den Quelltext anzuzeigen.