96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
-
-
+
+
-
+
-
-
+
+
|
<p class="shortcut_label">Correcteur grammatical</p>
<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>
<!--<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>
<div id="default_options_button" class="button blue center">Options par défaut</div>
</section> <!-- #gc_options_page -->
<section id="sc_options_page" class="page">
<h1>OPTIONS ORTHOGRAPHIQUES</h1>
<div id="hunspell_options">
<h2>DICTIONNAIRES DE GRAMMALECTE</h2>
<div class="option_section" id="main_dic_box">
<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><input type="checkbox" id="community_dic" data-dictionary="community" disabled/> <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 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>
|