1999-09-02 04:08:22 +00:00
|
|
|
function onLoadViewSource() {
|
1999-09-14 21:28:34 +00:00
|
|
|
// Create and initialize the browser instance.
|
|
|
|
createBrowserInstance();
|
1999-09-02 04:08:22 +00:00
|
|
|
|
1999-09-14 21:28:34 +00:00
|
|
|
if ( appCore ) {
|
|
|
|
appCore.isViewSource = true;
|
1999-09-02 04:08:22 +00:00
|
|
|
appCore.setContentWindow(window.frames[0]);
|
|
|
|
appCore.setWebShellWindow(window);
|
1999-09-16 23:46:55 +00:00
|
|
|
|
1999-09-02 04:08:22 +00:00
|
|
|
// Get url whose source to view.
|
|
|
|
var url = window.arguments[0];
|
|
|
|
|
|
|
|
// Load the source (the app core will magically know what to do).
|
|
|
|
appCore.loadUrl( url );
|
1999-09-14 21:28:34 +00:00
|
|
|
} else {
|
|
|
|
// Give up.
|
|
|
|
alert( "Error creating browser instance\n" );
|
1999-09-02 04:08:22 +00:00
|
|
|
}
|
1999-09-14 21:28:34 +00:00
|
|
|
|
1999-07-01 22:56:04 +00:00
|
|
|
}
|