135 lines
3.3 KiB
Plaintext
135 lines
3.3 KiB
Plaintext
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<META http-equiv="content-type" content="text/html; charset=UTF-8">
|
|
<title>JMRI Help System: JMRI Local</title>
|
|
<meta name="author" content="Dave Sand">
|
|
<meta name="keywords" content="JMRI Help Index">
|
|
<!--=====================================================================-->
|
|
<!--This file is automatically generated by Ant from JmriHelp_enTOC.xml-->
|
|
<!--Do not edit it directly-->
|
|
<!--=====================================================================-->
|
|
|
|
<script>
|
|
|
|
var use_internet = false;
|
|
|
|
function openLink(link) {
|
|
|
|
if (link.includes("/manual/")) {
|
|
if (!use_internet) {
|
|
if (window.confirm("Les pages d'aide manuelles ne sont pas installées.\nSi l'accès à Internet est disponible, utilisez jmri.org?")) {
|
|
use_internet = true;
|
|
}
|
|
}
|
|
if (use_internet) {
|
|
link = "https://jmri.org/help/en/manual/" + link;
|
|
} else {
|
|
return;
|
|
}
|
|
}
|
|
|
|
document.getElementById("page").src = link;
|
|
}
|
|
|
|
function onLoad() {
|
|
var url = window.location.href;
|
|
var i = url.indexOf('#');
|
|
var urlParts = [url.slice(0,i), url.slice(i+1)];
|
|
if (urlParts[1] != "") {
|
|
var link = urlParts[1].replace(/\./g, '/')
|
|
|
|
// find fragment
|
|
var frag = '';
|
|
var j = link.indexOf('_');
|
|
if (j > 0) {
|
|
var fragParts = [link.slice(0,j), link.slice(j+1)];
|
|
link = fragParts[0];
|
|
frag = '#' + fragParts[1];
|
|
}
|
|
|
|
var newURL = '../' + link + '.shtml' + frag;
|
|
openLink(newURL);
|
|
} else {
|
|
openLink('../index.shtml');
|
|
}
|
|
}
|
|
|
|
function selectTOC() {
|
|
const index = document.getElementById("indexID");
|
|
index.classList.add("hide");
|
|
const toc = document.getElementById("tocID");
|
|
toc.classList.remove("hide");
|
|
}
|
|
|
|
function selectIndex() {
|
|
const toc = document.getElementById("tocID");
|
|
toc.classList.add("hide");
|
|
const index = document.getElementById("indexID");
|
|
index.classList.remove("hide");
|
|
}
|
|
|
|
</script>
|
|
|
|
<style>
|
|
h2, p {
|
|
text-align: center;
|
|
}
|
|
|
|
.hide {
|
|
display: none;
|
|
}
|
|
|
|
a {
|
|
text-decoration: underline;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.float-container {
|
|
border: 3px solid #fff;
|
|
padding: 20px;
|
|
}
|
|
|
|
.help-toc {
|
|
width: 30%;
|
|
float: left;
|
|
padding: 20px;
|
|
border: 2px solid black;
|
|
height: 600px;
|
|
overflow: auto;
|
|
}
|
|
|
|
.help-index {
|
|
width: 30%;
|
|
float: left;
|
|
padding: 20px;
|
|
border: 2px solid black;
|
|
height: 600px;
|
|
overflow: auto;
|
|
}
|
|
|
|
.help-page {
|
|
width: 60%;
|
|
float: left;
|
|
padding: 20px;
|
|
border: 2px solid black;
|
|
}
|
|
|
|
.clear {
|
|
clear: both;
|
|
}
|
|
</style>
|
|
|
|
</head>
|
|
|
|
<body onload="onLoad()">
|
|
<div class="help-container">
|
|
<div>
|
|
<h2>JmriHelp</h2>
|
|
<p><button onclick="selectTOC()">Sommaire</button><button onclick="selectIndex()">index</button></p>
|
|
</div>
|
|
|
|
<div id="tocID" class="help-toc">
|
|
<h3>Sommaire</h3>
|
|
<ul>
|