|
|
@ -204,11 +204,15 @@ var Preferences = { |
|
|
|
// // These preferences can be overridden by the user.
|
|
|
|
// // These preferences can be overridden by the user.
|
|
|
|
// chrome.storage.managed.get(DEFAULT_PREFERENCES, getPreferences);
|
|
|
|
// chrome.storage.managed.get(DEFAULT_PREFERENCES, getPreferences);
|
|
|
|
// } else {
|
|
|
|
// } else {
|
|
|
|
// // Managed storage not supported, e.g. in Opera.
|
|
|
|
// // Managed storage not supported, e.g. in old Chromium versions.
|
|
|
|
// getPreferences(DEFAULT_PREFERENCES);
|
|
|
|
// getPreferences(DEFAULT_PREFERENCES);
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
//
|
|
|
|
//
|
|
|
|
// function getPreferences(defaultPrefs) {
|
|
|
|
// function getPreferences(defaultPrefs) {
|
|
|
|
|
|
|
|
// if (chrome.runtime.lastError) {
|
|
|
|
|
|
|
|
// // Managed storage not supported, e.g. in Opera.
|
|
|
|
|
|
|
|
// defaultPrefs = DEFAULT_PREFERENCES;
|
|
|
|
|
|
|
|
// }
|
|
|
|
// chrome.storage.local.get(defaultPrefs, function(readPrefs) {
|
|
|
|
// chrome.storage.local.get(defaultPrefs, function(readPrefs) {
|
|
|
|
// resolve(readPrefs);
|
|
|
|
// resolve(readPrefs);
|
|
|
|
// });
|
|
|
|
// });
|
|
|
|