ext.add('view-page-source', function(){ window.content.location.href = "view-source:" + window.content.location.href; }, 'view page source');