Overview
| Comment: | [fx] update doc about shortcuts |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
792001895764c1a30501fbb40927a856 |
| User & Date: | olr on 2019-05-03 17:51:46 |
| Other Links: | manifest | tags |
Context
|
2019-05-04
| ||
| 08:30 | [fx] gc panel: button highlighting check-in: 463f0fb6fe user: olr tags: trunk, fx | |
|
2019-05-03
| ||
| 17:51 | [fx] update doc about shortcuts check-in: 7920018957 user: olr tags: trunk, fx | |
| 17:47 | [fr] erreur de suggestion check-in: f0d289ef76 user: olr tags: trunk, fr | |
Changes
Modified gc_lang/fr/webext/panel/main.html from [1402a82c43] to [04694b71f2].
| ︙ | ︙ | |||
84 85 86 87 88 89 90 |
<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>
| | < < < < < < | | 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 |
<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">
|
| ︙ | ︙ |