Overview
| Comment: | [fx] new shortcuts again (numbers only for opening tabs) |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
2f39cf3999ffbd0c8d21061e5e16f6f6 |
| User & Date: | olr on 2019-05-04 09:02:50 |
| Other Links: | manifest | tags |
Context
|
2019-05-04
| ||
| 10:40 | [fx] update: better looking ui check-in: 67c539f322 user: olr tags: trunk, fx | |
| 09:02 | [fx] new shortcuts again (numbers only for opening tabs) check-in: 2f39cf3999 user: olr tags: trunk, fx | |
| 08:30 | [fx] gc panel: button highlighting check-in: 463f0fb6fe user: olr tags: trunk, fx | |
Changes
Modified gc_lang/fr/webext/manifest.json from [ae0dfdb574] to [29de402bdc].
| ︙ | ︙ | |||
76 77 78 79 80 81 82 |
],
"run_at": "document_idle"
}
],
"commands": {
"grammar_checker": {
| | | | | 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 |
],
"run_at": "document_idle"
}
],
"commands": {
"grammar_checker": {
"suggested_key": { "default": "Ctrl+Shift+Z" },
"description": "Ouvre le correcteur grammatical"
},
"conjugueur_tab": {
"suggested_key": { "default": "Ctrl+Shift+6" },
"description": "Ouvre le conjugueur"
},
"lexicon_editor": {
"suggested_key": { "default": "Ctrl+Shift+7" },
"description": "Ouvre l’éditeur lexical"
}
},
"web_accessible_resources": [
"content_scripts/panel.css",
"content_scripts/panel_tf.css",
|
| ︙ | ︙ |
Modified gc_lang/fr/webext/panel/main.html from [04694b71f2] to [eae55563e2].
| ︙ | ︙ | |||
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 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}
|
| ︙ | ︙ |