diff options
| author | Phil Crosby | 2010-01-29 19:35:47 -0800 |
|---|---|---|
| committer | Phil Crosby | 2010-01-30 00:52:51 -0800 |
| commit | 4fc8366e4fb4974b29089792e703f383ddf0f260 (patch) | |
| tree | e8f98360f177397f7c1e9cf8ff9d21ef49b7ade9 /linkHints.js | |
| parent | 165c661b474424d8cfb42753ffa0ae7ac24ca768 (diff) | |
| download | vimium-4fc8366e4fb4974b29089792e703f383ddf0f260.tar.bz2 | |
Add the abililty to show a "vimium has been upgraded" message to the HUD. Also refactor styles into CSS.
Diffstat (limited to 'linkHints.js')
| -rw-r--r-- | linkHints.js | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/linkHints.js b/linkHints.js index 420a65b5..dd80d6bf 100644 --- a/linkHints.js +++ b/linkHints.js @@ -268,18 +268,3 @@ function addMarkerFor(link, linkHintNumber, linkHintDigits) { document.body.appendChild(marker); return marker; } - -/* - * Adds the given CSS to the page. TODO: This may belong in the core vimium frontend. - */ -function addCssToPage(css) { - var head = document.getElementsByTagName("head")[0]; - if (!head) { - console.log("Warning: unable to add CSS to the page."); - return; - } - var style = document.createElement("style"); - style.type = "text/css"; - style.appendChild(document.createTextNode(css)); - head.appendChild(style); -} |
