/usr/share/routino/www/page-elements.js is in routino-www 2.4.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | //
// Javascript for page elements.
//
// Part of the Routino routing software.
//
// This file Copyright 2008-2012 Andrew M. Bishop
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
//
//
// Display one of the tabs and associated DIV and hide the others
//
function tab_select(name)
{
var tab=document.getElementById("tab_" + name);
if(tab.className=="tab_selected")
return;
// Hide the deslected tabs and DIVs
var parent=tab.parentNode;
var child=parent.firstChild;
do
{
if(String(child.id).substr(0,4)=="tab_")
{
var div=document.getElementById(child.id + "_div");
child.className="tab_unselected";
div.style.display="none";
}
child=child.nextSibling;
}
while(child!=null);
// Display the newly selected tab and DIV
tab.className="tab_selected";
document.getElementById(tab.id + "_div").style.display="";
}
//
// Show the associated DIV
//
function hideshow_show(name)
{
document.getElementById("hideshow_" + name + "_show").className="hideshow_hide";
document.getElementById("hideshow_" + name + "_hide").className="hideshow_show";
document.getElementById("hideshow_" + name + "_div").style.display="";
}
//
// Hide the associated DIV
//
function hideshow_hide(name)
{
document.getElementById("hideshow_" + name + "_show").className="hideshow_show";
document.getElementById("hideshow_" + name + "_hide").className="hideshow_hide";
document.getElementById("hideshow_" + name + "_div").style.display="none";
}
|