1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Background
"use strict";
console.log("THUNDERBIRD!!! BACKGROUND");
const oWorkerHandler = {
xGCEWorker: null,
nLastTimeWorkerResponse: 0, // milliseconds since 1970-01-01
oTask: {},
|
<
|
|
1
2
3
4
5
6
7
8
9
10
11
12
|
// Background
"use strict";
// Draft for later
const oWorkerHandler = {
xGCEWorker: null,
nLastTimeWorkerResponse: 0, // milliseconds since 1970-01-01
oTask: {},
|
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
browser.storage.local.get("autorefresh_option").then(this._initUIOptions, showError);
},
initGrammarChecker: function () {
browser.storage.local.get("gc_options").then(this._initGrammarChecker, showError);
browser.storage.local.get("personal_dictionary").then(this._setSpellingDictionaries, showError);
browser.storage.local.get("community_dictionary").then(this._setSpellingDictionaries, showError);
browser.storage.local.get("oPersonalDictionary").then(this._setSpellingDictionaries, showError); // deprecated
browser.storage.local.get("sc_options").then(this._initSCOptions, showError);
},
_initUIOptions: function (oSavedOptions) {
if (!oSavedOptions.hasOwnProperty("ui_options")) {
browser.storage.local.set({"ui_options": {
textarea: true,
|
<
|
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
browser.storage.local.get("autorefresh_option").then(this._initUIOptions, showError);
},
initGrammarChecker: function () {
browser.storage.local.get("gc_options").then(this._initGrammarChecker, showError);
browser.storage.local.get("personal_dictionary").then(this._setSpellingDictionaries, showError);
browser.storage.local.get("community_dictionary").then(this._setSpellingDictionaries, showError);
browser.storage.local.get("sc_options").then(this._initSCOptions, showError);
},
_initUIOptions: function (oSavedOptions) {
if (!oSavedOptions.hasOwnProperty("ui_options")) {
browser.storage.local.set({"ui_options": {
textarea: true,
|