Index: gc_core/js/helpers.js
==================================================================
--- gc_core/js/helpers.js
+++ gc_core/js/helpers.js
@@ -72,11 +72,10 @@
// conversions
objectToMap: function (obj) {
let m = new Map();
for (let param in obj) {
- //console.log(param + " " + obj[param]);
m.set(param, obj[param]);
}
return m;
},
Index: gc_lang/fr/build.py
==================================================================
--- gc_lang/fr/build.py
+++ gc_lang/fr/build.py
@@ -31,11 +31,11 @@
sLang = dVars['sDefaultUILang']
for sSection, lOpt in dVars['lStructOpt']:
sHTML += f'\n\n
{dVars["dOptLabel"][sLang][sSection][0]}
\n'
for lLineOpt in lOpt:
for sOpt in lLineOpt:
- sHTML += f'
\n'
+ sHTML += f'
\n'
sHTML += '
Pour les autres zones de texte (HTML éditable), il faut sélectionner le texte et utiliser le menu contextuel.
Raccourcis clavier
- CTRL+MAJ+F6
+ CTRL+MAJ+6
Conjugueur (dans un onglet)
- CTRL+MAJ+F7
+ CTRL+MAJ+7
Conjugueur (dans une fenêtre)
Index: gc_lang/fr/webext/panel/main.js
==================================================================
--- gc_lang/fr/webext/panel/main.js
+++ gc_lang/fr/webext/panel/main.js
@@ -5,10 +5,18 @@
function showError (e) {
console.error(e.fileName + "\n" + e.name + "\nline: " + e.lineNumber + "\n" + e.message);
}
+// Chrome don’t follow the W3C specification:
+// https://browserext.github.io/browserext/
+let bChrome = false;
+if (typeof(browser) !== "object") {
+ var browser = chrome;
+ bChrome = true;
+}
+
/*
Events
*/
window.addEventListener(
@@ -123,27 +131,38 @@
function showTestResult (sText) {
document.getElementById("tests_result").textContent = sText;
}
+
function setGCOptionsFromStorage () {
+ if (bChrome) {
+ browser.storage.local.get("gc_options", _setGCOptions);
+ return;
+ }
let xPromise = browser.storage.local.get("gc_options");
- xPromise.then(
- function (dSavedOptions) {
- if (dSavedOptions.hasOwnProperty("gc_options")) {
- setGCOptions(dSavedOptions.gc_options);
- }
- },
- function (e) {
- showError(e);
- }
- );
+ xPromise.then(_setGCOptions, showError);
+}
+
+function _setGCOptions (dSavedOptions) {
+ if (dSavedOptions.hasOwnProperty("gc_options")) {
+ setGCOptions(dSavedOptions.gc_options);
+ }
}
function setGCOptions (dOptions) {
+ // dOptions is supposed to be a Map
+ if (bChrome) {
+ // JS crap again. Chrome can’t store/send Map object.
+ let m = new Map();
+ for (let param in dOptions) {
+ m.set(param, dOptions[param]);
+ }
+ dOptions = m;
+ }
for (let [sOpt, bVal] of dOptions) {
if (document.getElementById("option_"+sOpt)) {
document.getElementById("option_"+sOpt).checked = bVal;
}
}
}