diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-24 22:11:21 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-24 22:11:21 -0700 |
| commit | e25d220d80b9c501bf57384375a390bedf1e7f04 (patch) | |
| tree | 2d4e5eadfff6fd9244335e4993311d62ad96c6c6 | |
| parent | 658da03955fd69a2eb9d33972a832877f3fcbf56 (diff) | |
fix firefox extension
| -rw-r--r-- | contexts/data/fiveui/firefox/main.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contexts/data/fiveui/firefox/main.js b/contexts/data/fiveui/firefox/main.js index a96bc2e..dc6258c 100644 --- a/contexts/data/fiveui/firefox/main.js +++ b/contexts/data/fiveui/firefox/main.js @@ -185,8 +185,8 @@ fiveui.firefox.main = function() { { include: data.url('fiveui/options.html'), contentScriptWhen: 'end', contentScriptFile: [ - data.url("ace/ace.js"), - data.url("ace/mode-javascript.js"), + data.url("lib/ace/ace.js"), + data.url("lib/ace/mode-javascript.js"), data.url("target/firefox-options.js") ], contentScript: "fiveui.firefox.options.init()", |