diff options
| author | mrmr1993 | 2015-04-27 20:48:02 +0100 |
|---|---|---|
| committer | mrmr1993 | 2015-05-29 12:06:00 +0100 |
| commit | ea535672d76b0b5f847af346434ab996f461f68c (patch) | |
| tree | b8de26907d34ebe9c4c3108f81841f561f7e6610 /pages/options.html | |
| parent | 7ff17b8a6f63b0f46fac2be27c2a2f7d82c8d458 (diff) | |
| download | vimium-ea535672d76b0b5f847af346434ab996f461f68c.tar.bz2 | |
Use lib/settings.coffee to provide settings to options.html/popup.html
Instead of directly accessing the background page's Settings object,
the options page and the page popup now have their own.
Diffstat (limited to 'pages/options.html')
| -rw-r--r-- | pages/options.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pages/options.html b/pages/options.html index 0fa5b18d..67e2b16d 100644 --- a/pages/options.html +++ b/pages/options.html @@ -3,6 +3,7 @@ <title>Vimium Options</title> <link rel="stylesheet" type="text/css" href="options.css"> <script src="content_script_loader.js"></script> + <script type="text/javascript" src="../lib/settings.js"></script> <script type="text/javascript" src="options.js"></script> </head> |