diff options
| author | Phil Crosby | 2012-05-05 20:24:05 -0700 | 
|---|---|---|
| committer | Phil Crosby | 2012-05-05 20:24:34 -0700 | 
| commit | 9027303670297127d0655d912a32a88d83f1aca5 (patch) | |
| tree | ab5fa721930aa6f743cf14477f9e5e40b5b5989a | |
| parent | bdef276ae7ea4bd3afc06c808a50e5f60dc4584b (diff) | |
| download | vimium-9027303670297127d0655d912a32a88d83f1aca5.tar.bz2 | |
Make the vomnibar work on the Options page.
| -rw-r--r-- | options.html | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/options.html b/options.html index 6dea5143..d38d6b0c 100644 --- a/options.html +++ b/options.html @@ -6,6 +6,7 @@      <script src="lib/dom_utils.js"></script>      <script src="lib/clipboard.js"></script>      <script src="content_scripts/link_hints.js"></script> +    <script src="content_scripts/vomnibar.js"></script>      <script src="content_scripts/vimium_frontend.js"></script>      <style type="text/css" media="screen">        body { | 
