OLD | NEW |
1 /* | 1 /* |
2 * This file is part of Adblock Plus <http://adblockplus.org/>, | 2 * This file is part of Adblock Plus <http://adblockplus.org/>, |
3 * Copyright (C) 2006-2013 Eyeo GmbH | 3 * Copyright (C) 2006-2013 Eyeo GmbH |
4 * | 4 * |
5 * Adblock Plus is free software: you can redistribute it and/or modify | 5 * Adblock Plus is free software: you can redistribute it and/or modify |
6 * it under the terms of the GNU General Public License version 3 as | 6 * it under the terms of the GNU General Public License version 3 as |
7 * published by the Free Software Foundation. | 7 * published by the Free Software Foundation. |
8 * | 8 * |
9 * Adblock Plus is distributed in the hope that it will be useful, | 9 * Adblock Plus is distributed in the hope that it will be useful, |
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of |
(...skipping 643 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
654 // when a prerendered page is shown, forget the previous page | 654 // when a prerendered page is shown, forget the previous page |
655 // associated with its tab, and reset the toolbar item if necessary. | 655 // associated with its tab, and reset the toolbar item if necessary. |
656 // Note that it wouldn't be sufficient to do that when the old | 656 // Note that it wouldn't be sufficient to do that when the old |
657 // page is unloading, because Safari dispatches window.onunload | 657 // page is unloading, because Safari dispatches window.onunload |
658 // only when reloading the page or following links, but not when | 658 // only when reloading the page or following links, but not when |
659 // the current page is replaced with a prerendered page. | 659 // the current page is replaced with a prerendered page. |
660 replacePage(page); | 660 replacePage(page); |
661 break; | 661 break; |
662 } | 662 } |
663 }); | 663 }); |
| 664 |
| 665 |
| 666 /* Storage */ |
| 667 |
| 668 ext.storage = safari.extension.settings; |
664 })(); | 669 })(); |
OLD | NEW |