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) |
{ |