90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
<h2>Raccourcis clavier</h2>
<p class="shortcut">CTRL+MAJ+6</p>
<p class="shortcut_label">Conjugueur (dans un onglet)</p>
<p class="shortcut">CTRL+MAJ+7</p>
<p class="shortcut_label">Conjugueur (dans une fenêtre)</p>
<p class="shortcut">CTRL+MAJ+8</p>
<p class="shortcut_label">Éditeur lexical</p>
</section> <!-- #ui_options_page -->
<section id="gc_options_page" class="page">
<h1>OPTIONS GRAMMATICALES</h1>
<div id="grammar_options">
${webextOptionsHTML}
</div>
|
>
>
|
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
<h2>Raccourcis clavier</h2>
<p class="shortcut">CTRL+MAJ+6</p>
<p class="shortcut_label">Conjugueur (dans un onglet)</p>
<p class="shortcut">CTRL+MAJ+7</p>
<p class="shortcut_label">Conjugueur (dans une fenêtre)</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}
</div>
|
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
<p><input type="checkbox" id="main_dic" data-dictionary="main" checked disabled="disabled" /> <label for="main_dic">Dictionnaire principal</label></p>
<p class="option_description">Environ 83 000 entrées, 500 000 flexions.<br/>Ni éditable, ni désactivable.<br/>Ce dictionnaire est créé à partir du dictionnaire orthographique pour Firefox et LibreOffice, conçu sur le <a id="link_grammalecte" class="link" data-url="http://grammalecte.net/home.php?prj=fr">site de Grammalecte</a>.</p>
</div>
<div class="option_section" id="community_dic_box">
<p><input type="checkbox" id="community_dic" data-dictionary="community" /> <label for="community_dic">Dictionnaire communautaire</label></p>
<p class="option_description">Ce dictionnaire est créé et édité via l’éditeur lexical et est sauvegardé sur un serveur en ligne accessible à tous les membres.</p>
<div class="button_row">
<div class="dic_button" id="dictionaries_button">Dictionnaires en ligne</div>
|
<
>
|
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
<p><input type="checkbox" id="main_dic" data-dictionary="main" checked disabled="disabled" /> <label for="main_dic">Dictionnaire principal</label></p>
<p class="option_description">Environ 83 000 entrées, 500 000 flexions.<br/>Ni éditable, ni désactivable.<br/>Ce dictionnaire est créé à partir du dictionnaire orthographique pour Firefox et LibreOffice, conçu sur le <a id="link_grammalecte" class="link" data-url="http://grammalecte.net/home.php?prj=fr">site de Grammalecte</a>.</p>
</div>
<div class="option_section" id="community_dic_box">
<p><input type="checkbox" id="community_dic" data-dictionary="community" /> <label for="community_dic">Dictionnaire communautaire</label></p>
<p class="option_description">Ce dictionnaire est créé et édité via l’éditeur lexical et est sauvegardé sur un serveur en ligne accessible à tous les membres.</p>
<div class="button_row">
<div class="dic_button" id="dic_community_button">Éditer</div>
<div class="dic_button" id="dictionaries_button">Dictionnaires en ligne</div>
</div>
</div>
<div class="option_section" id="personal_dic_box">
<p><input type="checkbox" id="personal_dic" data-dictionary="personal" /> <label for="personal_dic">Dictionnaire personnel</label></p>
<p class="option_description">Ce dictionnaire est créé et édité via l’éditeur lexical et n’est pas partagé.</p>
<div class="button_row">
<div class="dic_button" id="dic_personal_button">Éditer</div>
|