| Index: files/css.js |
| =================================================================== |
| deleted file mode 100644 |
| --- a/files/css.js |
| +++ /dev/null |
| @@ -1,53 +0,0 @@ |
| -const css = { |
| - get: function(key) { |
| - return preferences.array(key + '-content'); |
| - }, |
| - personal: function() { |
| - return preferences.array('css-perso-content'); |
| - }, |
| - refresh: function() { |
| - var success = true; |
| - for(key in sources.css) { |
| - if(preferences.bool(key)){ //If the list is enabled, update it |
| - if(!this.update(key)) //In case of error with the update |
| - success = false; |
| - } |
| - else //If the list is disabled, remove it |
| - this.disable(key, false); |
| - } |
| - //opera.extension.postMessage({request: 'ping', type: 'css'}); //Make all webpages update |
| - return success; |
| - }, |
| - time: function(key) { |
| - return preferences.int(key + '-time'); |
| - }, |
| - update: function(key) { |
| - //opera.postError('Update called for ' + key); |
| - var value = download(sources.css[key]).replace(/\/\*(.|\n)*?\*\/(\n)?/gm, '').split('\n'); |
| - //opera.postError(value.join("\n")); |
| - if(value instanceof Array) { |
| - preferences.array(key + '-content', value); |
| - preferences.int(key + '-time', getTime()); |
| - return true; |
| - } |
| - else |
| - return false; |
| - }, |
| - status: function(key) { |
| - return preferences.bool(key); |
| - }, |
| - disable: function(key, ping) { //Disables a source |
| - preferences.remove(key + '-time'); |
| - preferences.remove(key + '-content'); |
| - preferences.bool(key, false); |
| - if(ping) |
| - opera.extension.postMessage({request: 'ping', type: 'css'}); |
| - return true; |
| - }, |
| - enable: function(key, ping) { //Enables a source |
| - this.update(key); |
| - preferences.bool(key, true); |
| - if(ping) |
| - opera.extension.postMessage({request: 'ping', type: 'css'}); |
| - } |
| -}; |