/******************************************************************************* * 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 Common Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/cpl-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"); var text = title.lastChild; text.nodeValue = " "+label; }