1999-09-02 08:08:22 +04:00
|
|
|
function onLoadViewSource() {
|
1999-09-15 01:28:34 +04:00
|
|
|
// Create and initialize the browser instance.
|
|
|
|
createBrowserInstance();
|
1999-09-02 08:08:22 +04:00
|
|
|
|
1999-09-15 01:28:34 +04:00
|
|
|
if ( appCore ) {
|
|
|
|
appCore.isViewSource = true;
|
1999-09-02 08:08:22 +04:00
|
|
|
appCore.setContentWindow(window.frames[0]);
|
|
|
|
appCore.setWebShellWindow(window);
|
1999-09-17 03:46:55 +04:00
|
|
|
|
1999-09-02 08:08:22 +04: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-15 01:28:34 +04:00
|
|
|
} else {
|
|
|
|
// Give up.
|
|
|
|
alert( "Error creating browser instance\n" );
|
1999-09-02 08:08:22 +04:00
|
|
|
}
|
1999-09-15 01:28:34 +04:00
|
|
|
|
1999-07-02 02:56:04 +04:00
|
|
|
}
|