gecko-dev/suite/browser/viewsource.js

18 lines
638 B
JavaScript
Raw Normal View History

1999-07-01 22:56:04 +00:00
function StartupViewSource() {
// Generate unique name (var appCoreName declared in navigator.js).
appCoreName = "ViewSource." + ( new Date() ).getTime().toString();
// Create and initialize the browser app core.
appCore = new BrowserAppCore();
appCore.Init( appCoreName );
appCore.setContentWindow(window.frames[0]);
appCore.setWebShellWindow(window);
appCore.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).
appCore.loadUrl(url);
}