blob: 108279033e89e16479d923fc598d40af2e0bd15e [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2011 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* 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, param) {
parent.history.back();
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function goForward(button, param) {
parent.history.forward();
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function goHome(button, param) {
var isHome = false;
try {
// first check if we're already at home
var str = param;
var index = str.indexOf("/");
if (index > 0) {
str = str.substring(index);
}
var locationStr = parent.ContentViewFrame.location.href;
isHome = (locationStr.substring(locationStr.length - str.length) == str)
}
catch (e) {
// insufficient permission, not home
}
if (!isHome) {
parent.ContentViewFrame.location = param;
}
parent.parent.NavFrame.collapseToc();
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function bookmarkPage(button, param)
{
// 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 (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function bookmarkInfocenterPage(button, param)
{
// 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 (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
// Return the topic including any parameters
function getCurrentTopic() {
var topic = parent.ContentViewFrame.window.location.href;
return topic;
}
function resynch(button, param)
{
try {
parent.parent.NavFrame.displayTocFor(getCurrentTopic(), false);
} catch(e) {}
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
// Synchronize after a hyperlink is selected
function autosynch() {
try {
parent.parent.NavFrame.displayTocFor(getCurrentTopic(), true);
} catch(e) {}
}
function toggleHighlight(button, param)
{
try {
parent.ContentViewFrame.toggleHighlight();
var highlight = parent.ContentViewFrame.currentHighlight;
window.setButtonState("toggle_highlight",highlight);
var date = new Date();
date.setTime(date.getTime()+(365*24*60*60*1000));
document.cookie = document.cookie = "highlight="+highlight+"; expires="+date.toGMTString() + ";path=/";;
} catch(e) {}
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}
function printContent(button, param)
{
try {
parent.ContentViewFrame.focus();
parent.ContentViewFrame.print();
} catch(e) {}
if (button && document.getElementById(button)){
document.getElementById(button).blur();
}
}