blob: b817b2c4223c58bf9f185e97173d745c50a21ee5 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2004 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
var isMozilla = navigator.userAgent.indexOf('Mozilla') != -1 && parseInt(navigator.appVersion.substring(0,1)) >= 5;
var isIE = navigator.userAgent.indexOf('MSIE') != -1;
var navVisible = true;
function goBack(button) {
parent.history.back();
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function goForward(button) {
parent.history.forward();
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function bookmarkPage(button)
{
// Currently we pick up the url from the content page.
// If the page is from outside the help domain, a script
// exception is thrown. We need to catch it and ignore it.
try
{
// use the url from plugin id only
var url = parent.ContentViewFrame.location.href;
var i = url.indexOf("/topic/");
if (i >=0 )
url = url.substring(i+6);
// remove any query string
i = url.indexOf("?");
if (i >= 0)
url = url.substring(0, i);
var title = parent.ContentViewFrame.document.title;
if (title == null || title == "")
title = url;
/********** HARD CODED VIEW NAME *************/
parent.parent.NavFrame.ViewsFrame.bookmarks.bookmarksViewFrame.location.replace("bookmarksView.jsp?operation=add&bookmark="+encodeURIComponent(url)+"&title="+encodeURIComponent(title));
}catch (e) {}
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function bookmarkInfocenterPage(button)
{
// Currently we pick up the url from the content page.
// If the page is from outside the help domain, a script
// exception is thrown. We need to catch it and ignore it.
try
{
// use the url from plugin id only
var url = parent.ContentViewFrame.location.href;
var i = url.indexOf("/topic/");
if (i >=0 )
url = url.substring(i+6);
// remove any query string
i = url.indexOf("?");
if (i >= 0)
url = url.substring(0, i);
var title = parent.ContentViewFrame.document.title;
if (title == null || title == "")
title = url;
/********** HARD CODED VIEW NAME *************/
window.external.AddFavorite(parent.ContentViewFrame.location.href,title);
}catch (e) {}
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function resynch(button)
{
try {
var topic = parent.ContentViewFrame.window.location.href;
// remove the query, if any
var i = topic.indexOf('?');
if (i != -1)
topic = topic.substring(0, i);
parent.parent.NavFrame.displayTocFor(topic);
} catch(e) {}
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function printContent(button)
{
try {
parent.ContentViewFrame.focus();
parent.ContentViewFrame.print();
} catch(e) {}
if (isIE && button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function setTitle(label)
{
if( label == null) label = "";
var title = document.getElementById("titleText");
if(title !=null){
var text = title.lastChild;
text.nodeValue = " "+label;
}
}