Serge NOEL
102 lines
3.4 KiB
Plaintext
102 lines
3.4 KiB
Plaintext
<!DOCTYPE html>
|
|
<html lang="fr">
|
|
<head>
|
|
<!-- Copyright Bob Jacobsen 2008 -->
|
|
<!-- Updated by Blorec Hervé le 2013-09-06-->
|
|
<title>JMRI: System Properties</title>
|
|
<!--#include virtual="/help/fr/parts/Style.shtml" -->
|
|
</head>
|
|
|
|
<body>
|
|
<!--#include virtual="/help/fr/parts/Header_fr.shtml" -->
|
|
<div id="mBody">
|
|
<!--#include virtual="Sidebar.shtml" -->
|
|
<div id="mainContent">
|
|
<!-- Page Body -->
|
|
|
|
<h1>JMRI: Propriétés du
|
|
Système</h1>
|
|
|
|
<p>Cette page liste les propriétés du système que JMRI utilise.</p>
|
|
|
|
<h2>Propriétés Système d'Exploitation</h2>
|
|
|
|
<dl>
|
|
<dt>os.name</dt>
|
|
|
|
<dd>
|
|
La plupart de JMRI est indépendant du
|
|
système, mais dans quelques endroits nous
|
|
fournissons le code spécifique au système
|
|
pour personnaliser l'expérience de l'utilisateur.
|
|
C'est la propriété que nous utilisons pour
|
|
dire quel type de système d'exploitation est en
|
|
cours d'utilisation.
|
|
|
|
<p>Par exemple, on localise le <a href=
|
|
"../../apps/DecoderPro/Files.shtml#location">répertoire
|
|
préférences</a> dans des lieux
|
|
différents selon le type de système.</p>
|
|
</dd>
|
|
|
|
<dt>user.dir</dt>
|
|
|
|
<dd>Java définit celui-ci pour être le
|
|
répertoire dans lequel JMRI est
|
|
exécuté. JMRI l'utilise pour trouver bon
|
|
nombre de ses dossiers; cette propriété ne
|
|
devrait pas être changé par
|
|
l'utilisateur!</dd>
|
|
|
|
<dt>user.home</dt>
|
|
|
|
<dd>Java définit celui-ci comme le répertoire
|
|
"home" de l'utilisateur actuel. JMRI l'utilise, sur
|
|
certains systèmes, pour localiser les emplacements
|
|
par défaut pour le répertoire des
|
|
préférences.</dd>
|
|
|
|
</dl>
|
|
|
|
<h3>Propriétés JMRI</h3>
|
|
|
|
<dl>
|
|
<dt>jmri.prefsdir</dt>
|
|
|
|
<dd>En définissant cette propriété,
|
|
vous pouvez définir explicitement où JMRI
|
|
doit chercher le répertoire de
|
|
préférence.</dd>
|
|
|
|
<dt>jmri.inset.height</dt>
|
|
|
|
<dd>
|
|
Si elle est définie, fournit une valeur minimum
|
|
d'encart pour la hauteur de la fenêtres JMRI.
|
|
L'encart est l'espace alloué pour les
|
|
décorations en haut et en bas de l'écran.
|
|
Mettez lui un nombre entier positif N pour s'assurer que
|
|
les fenêtres JMRI seront ouvertes avec N pixels
|
|
disponibles en haut et/ou en bas.
|
|
|
|
<p>-Djmri.inset.height=45</p>
|
|
</dd>
|
|
|
|
<dt>jmri.inset.width</dt>
|
|
|
|
<dd>Si elle est définie, fournit une valeur minimum
|
|
d'encart pour la largeur de fenêtres JMRI. L'encart
|
|
est l'espace alloué pour les décorations sur
|
|
les côtés de l'écran. Mettez lui un
|
|
nombre entier positif N pour s'assurer que les
|
|
fenêtres JMRI seront ouvertes avec N pixels
|
|
disponibles sur les côtés</dd>
|
|
</dl>
|
|
|
|
<!--#include virtual="/help/fr/parts/Footer_fr.shtml" -->
|
|
</div>
|
|
</div>
|
|
<script src="/js/help.js"></script>
|
|
</body>
|
|
</html>
|