90
91
92
93
94
95
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
|
<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>
<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>
<p class="dictionaries_info">Ces dictionnaires ne sont utilisés que lors de l’analyse grammaticale.</p>
<p><input type="checkbox" id="main_dic" data-dictionary="personal" 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.</p>
</div>
<div class="option_section" id="extended_dic_box" style="opacity: .33;">
<p><input type="checkbox" id="extended_dic" data-dictionary="personal" disabled="disabled" /> <label for="extended_dic">Dictionnaire étendu</label></p>
<p class="option_description">Fonctionnalité à venir.</p>
</div>
<div class="option_section" id="community_dic_box" style="opacity: .33;">
<p><input type="checkbox" id="community_dic" data-dictionary="personal" disabled="disabled" /> <label for="community_dic">Dictionnaire communautaire</label></p>
<p class="option_description">Fonctionnalité à venir.</p>
</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.</p>
</div>
</div>
<div id="hunspell_options" style="display: none; opacity: .25">
<h2>DICTIONNAIRES HUNSPELL</h2>
<p class="dictionaries_info">Les dictionnaires Hunspell ne sont utilisées que pour la correction orthographique proposée par Firefox (soulignement rouge).<br/><br/>Section inactive.<br/>Le système d’extension <i>WebExtension</i> ne propose pas encore d’interface de programmation pour le correcteur orthographique.</p>
<div class="option_section" id="fr-FR-modern_box">
|
>
>
<
|
|
|
|
|
>
>
>
|
<
<
<
|
>
>
>
|
90
91
92
93
94
95
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
136
137
|
<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>
<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 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>
</div>
</div>
</div>
<div id="hunspell_options" style="display: none; opacity: .25">
<h2>DICTIONNAIRES HUNSPELL</h2>
<p class="dictionaries_info">Les dictionnaires Hunspell ne sont utilisées que pour la correction orthographique proposée par Firefox (soulignement rouge).<br/><br/>Section inactive.<br/>Le système d’extension <i>WebExtension</i> ne propose pas encore d’interface de programmation pour le correcteur orthographique.</p>
<div class="option_section" id="fr-FR-modern_box">
|