rem:  EdAppCore.loadUrl(url); } 
add:  var url = window.arguments[0];   appCore.loadUrl( url ); } 
context:   function StartupViewSource() {    // Generate unique name (var appCoreName declared in navigator.js).    EdAppCoreName = "ViewSource." + ( new Date() ).getTime().toString();        // Create and initialize the browser app core.    EdAppCore = new BrowserAppCore();    EdAppCore.Init( EdAppCoreName );    EdAppCore.setContentWindow(window.frames[0]);    EdAppCore.setWebShellWindow(window);    EdAppCore.setToolbarWindow(window);    // Get url whose source to view.    var url = document.getElementById("args").getAttribute("value");    // Load the source (the app core will magically know what to do).    EdAppCore.loadUrl(url);  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/1ab34362fcd16662880c6d075315bb5d6c1fbd94/viewsource.js/buggy/editor/ui/composer/content/viewsource.js