| Index: safari/ext/background.js |
| diff --git a/safari/ext/background.js b/safari/ext/background.js |
| index 38870c0564b31fca093a5cb0c36419a0063014a7..5b8d32d0cc54001ab6d04dfe382ab3d245d5717b 100644 |
| --- a/safari/ext/background.js |
| +++ b/safari/ext/background.js |
| @@ -563,9 +563,10 @@ |
| /* Options */ |
| - ext.showOptions = function(callback) |
| + ext.showOptions = function(newOptionsPage, callback) |
| { |
| - var optionsUrl = safari.extension.baseURI + "options.html"; |
| + var optionsUrl = safari.extension.baseURI + |
| + (newOptionsPage ? "new-" : "") + "options.html"; |
| for (var id in pages) |
| { |