diff options
| author | mrmr1993 | 2014-07-28 16:41:15 +0100 |
|---|---|---|
| committer | mrmr1993 | 2014-11-02 06:25:40 +0000 |
| commit | 474bcb7552dd538978e546f02b2bff1d7204aa34 (patch) | |
| tree | dcadd33b50bc182476e223f870d84a70cf5fb91a /pages/options.html | |
| parent | 002f48e9e7b821debeb96920050705c9a6ce09b9 (diff) | |
| download | vimium-474bcb7552dd538978e546f02b2bff1d7204aa34.tar.bz2 | |
Automatically load content scripts into the options and blank pages
Load all appropriate content scripts by traversing the list in the
manifest. This removes the need to list them manually.
Diffstat (limited to 'pages/options.html')
| -rw-r--r-- | pages/options.html | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/pages/options.html b/pages/options.html index 93033a3f..c3d3a4d0 100644 --- a/pages/options.html +++ b/pages/options.html @@ -1,15 +1,7 @@ <html> <head> <title>Vimium Options</title> - <script src="../lib/utils.js"></script> - <script src="../lib/keyboard_utils.js"></script> - <script src="../lib/dom_utils.js"></script> - <script src="../lib/handler_stack.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/scroller.js"></script> - <script src="../content_scripts/vimium_frontend.js"></script> + <script src="content_script_loader.js"></script> <style type="text/css" media="screen"> body { font: 14px "DejaVu Sans", "Arial", sans-serif; @@ -199,7 +191,6 @@ margin-right: 0px; } </style> - <link rel="stylesheet" type="text/css" href="../content_scripts/vimium.css" /> <script type="text/javascript" src="options.js"></script> |