Index: includes/cssFilter.js |
=================================================================== |
deleted file mode 100644 |
--- a/includes/cssFilter.js |
+++ /dev/null |
@@ -1,32 +0,0 @@ |
-// ==UserScript== |
-// @include * |
-// ==/UserScript== |
- |
-opera.extension.onmessage = function (event) { |
- //opera.postError('INJECTED: got a ' + event.data.request + ' request for ' + document.location.href); |
- if(event.data.request == 'css') {//Ensure the received message is for the right URL |
- var css = document.getElementById(event.data.id); |
- if(!css) { |
- css = document.createElement('style'); |
- css.setAttribute('type', 'text/css'); |
- css.setAttribute('id', event.data.id); |
- css.setAttribute('class', 'OAB'); //To allow easy removal by the user to view the original source code |
- css.appendChild(document.createTextNode(event.data.reply)); |
- try { |
- document.getElementsByTagName('html')[0].getElementsByTagName('head')[0].appendChild(css); //Only append if the file is an HTML file |
- //opera.postError('INJECTED: CSS added - ' + event.data.id); |
- } |
- catch(e) {} |
- } |
- else { |
- css.innerHTML = event.data.reply; |
- //opera.postError('INJECTED: CSS updated - ' + event.data.id); |
- } |
- } |
- else if(event.data.request == 'ping') { |
- if(event.data.type == 'css') |
- event.source.postMessage({request: 'css', url: document.location.href}); |
- } |
-}; |
- |
-opera.extension.postMessage({request: 'css', url: document.location.href}); |