84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
<p class="option_description">Ces zones de texte sont les champs de formulaire usuels pour saisir du texte. Ils ne permettent que la saisie de texte brut, sans fioritures.</p>
</div>
<div class="option_section" id="ui_option_editablenode_box">
<p><input type="checkbox" id="ui_option_editablenode" /> <label for="ui_option_editablenode">“Nodes” éditables</label></p>
<p class="option_description">Ces zones de texte sont des sections de page web éditables. Il est fréquent que ces zones de texte apparaissent comme des “textareas” standard. Il est aussi fréquent que ces zones de texte soient couplées avec toutes sortes de logiciels (de simples scripts d’aide à la mise en page ou des applications complexes). Ces zones de texte permettent l’affichage de texte enrichi (italique, gras, hyperlien, images, etc.).</p>
</div>
<h2>Raccourcis clavier</h2>
<p class="shortcut">CTRL+MAJ+6</p>
<p class="shortcut_label">Correcteur grammatical</p>
<p class="shortcut">CTRL+MAJ+7</p>
<p class="shortcut_label">Conjugueur</p>
<p class="shortcut">CTRL+MAJ+8</p>
<p class="shortcut_label">Éditeur lexical</p>
<!--<p class="shortcut">CTRL+MAJ+9</p>
<p class="shortcut_label">Dictionnaires communautaires</p>-->
</section> <!-- #ui_options_page -->
<section id="gc_options_page" class="page">
<h1>OPTIONS GRAMMATICALES</h1>
<div id="grammar_options">
${webextOptionsHTML}
|
|
|
|
|
|
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
<p class="option_description">Ces zones de texte sont les champs de formulaire usuels pour saisir du texte. Ils ne permettent que la saisie de texte brut, sans fioritures.</p>
</div>
<div class="option_section" id="ui_option_editablenode_box">
<p><input type="checkbox" id="ui_option_editablenode" /> <label for="ui_option_editablenode">“Nodes” éditables</label></p>
<p class="option_description">Ces zones de texte sont des sections de page web éditables. Il est fréquent que ces zones de texte apparaissent comme des “textareas” standard. Il est aussi fréquent que ces zones de texte soient couplées avec toutes sortes de logiciels (de simples scripts d’aide à la mise en page ou des applications complexes). Ces zones de texte permettent l’affichage de texte enrichi (italique, gras, hyperlien, images, etc.).</p>
</div>
<h2>Raccourcis clavier</h2>
<p class="shortcut">CTRL+MAJ+Z</p>
<p class="shortcut_label">Correcteur grammatical</p>
<p class="shortcut">CTRL+MAJ+6</p>
<p class="shortcut_label">Conjugueur</p>
<p class="shortcut">CTRL+MAJ+7</p>
<p class="shortcut_label">Éditeur lexical</p>
<!--<p class="shortcut">CTRL+MAJ+8</p>
<p class="shortcut_label">Dictionnaires communautaires</p>-->
</section> <!-- #ui_options_page -->
<section id="gc_options_page" class="page">
<h1>OPTIONS GRAMMATICALES</h1>
<div id="grammar_options">
${webextOptionsHTML}
|