diff options
| author | Jez Ng | 2012-10-24 15:33:56 -0400 |
|---|---|---|
| committer | Jez Ng | 2012-10-24 15:33:56 -0400 |
| commit | 647fd97bef55d2371e87f0cd418ddff62f36800e (patch) | |
| tree | e8dc20c1ebac8653d47a3fe6ca5c01819674a700 /lib | |
| parent | f3f80eed2a3a58327e4361c7deb57d87cab4b4bd (diff) | |
| download | vimium-647fd97bef55d2371e87f0cd418ddff62f36800e.tar.bz2 | |
Use insertCSS() API instead of manually created style element.
For some reason addCssToPage seemed to break on Chrome 24.
Closes #676.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dom_utils.coffee | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/lib/dom_utils.coffee b/lib/dom_utils.coffee index 501e43a5..a99cb5a6 100644 --- a/lib/dom_utils.coffee +++ b/lib/dom_utils.coffee @@ -1,20 +1,5 @@ DomUtils = # - # Adds the given CSS to the page. - # - addCssToPage: (css, id) -> - return if document.getElementById(id) - head = document.getElementsByTagName("head")[0] - if (!head) - head = document.createElement("head") - document.documentElement.appendChild(head) - style = document.createElement("style") - style.id = id - style.type = "text/css" - style.appendChild(document.createTextNode(css)) - head.appendChild(style) - - # # Runs :callback if the DOM has loaded, otherwise runs it on load # documentReady: do -> |