Index: chrome/content/cssProperties.js |
=================================================================== |
deleted file mode 100644 |
--- a/chrome/content/cssProperties.js |
+++ /dev/null |
@@ -1,87 +0,0 @@ |
-function CSSPropertyFilters(window, addSelectorsFunc) { |
- this.window = window; |
- this.addSelectorsFunc = addSelectorsFunc; |
-} |
- |
-CSSPropertyFilters.prototype = { |
- stringifyStyle: function(style) |
- { |
- var styles = []; |
- for (var i = 0; i < style.length; i++) |
- { |
- var property = style.item(i); |
- var value = style.getPropertyValue(property); |
- var priority = style.getPropertyPriority(property); |
- styles.push(property + ": " + value + (priority ? " !" + priority : "") + ";"); |
- } |
- styles.sort(); |
- return styles.join(" "); |
- }, |
- |
- findSelectors: function(stylesheet, selectors) |
- { |
- var rules = stylesheet.cssRules; |
- if (!rules) |
- return; |
- |
- for (var i = 0; i < rules.length; i++) |
- { |
- var rule = rules[i]; |
- if (rule.type != this.window.CSSRule.STYLE_RULE) |
- continue; |
- |
- var style = this.stringifyStyle(rule.style); |
- for (var j = 0; j < this.patterns.length; j++) |
- { |
- var pattern = this.patterns[j]; |
- var regexp = pattern.regexp; |
- |
- if (typeof regexp == "string") |
- regexp = pattern.regexp = new RegExp(regexp); |
- |
- if (regexp.test(style)) |
- selectors.push(pattern.prefix + rule.selectorText + pattern.suffix); |
- } |
- } |
- }, |
- |
- addSelectors: function(stylesheets) |
- { |
- var selectors = []; |
- for (var i = 0; i < stylesheets.length; i++) |
- this.findSelectors(stylesheets[i], selectors); |
- this.addSelectorsFunc(selectors); |
- }, |
- |
- onLoad: function(event) |
- { |
- var stylesheet = event.target.sheet; |
- if (stylesheet) |
- this.addSelectors([stylesheet]); |
- }, |
- |
- load: function(callback) |
- { |
- ext.backgroundPage.sendMessage( |
- { |
- type: "filters.get", |
- what: "cssproperties" |
- }, |
- function(patterns) |
- { |
- this.patterns = patterns; |
- callback(); |
- }.bind(this) |
- ); |
- }, |
- |
- apply: function() |
- { |
- if (this.patterns.length > 0) |
- { |
- var document = this.window.document; |
- this.addSelectors(document.styleSheets); |
- document.addEventListener("load", this.onLoad.bind(this), true); |
- } |
- } |
-}; |