| 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 27 matching lines...) Expand all Loading... |
| 38 var LoadingTabEventTarget = function(target) | 38 var LoadingTabEventTarget = function(target) |
| 39 { | 39 { |
| 40 WrappedEventTarget.call(this, target, "message", false); | 40 WrappedEventTarget.call(this, target, "message", false); |
| 41 }; | 41 }; |
| 42 LoadingTabEventTarget.prototype = { | 42 LoadingTabEventTarget.prototype = { |
| 43 __proto__: WrappedEventTarget.prototype, | 43 __proto__: WrappedEventTarget.prototype, |
| 44 _wrapListener: function(listener) | 44 _wrapListener: function(listener) |
| 45 { | 45 { |
| 46 return function (event) | 46 return function (event) |
| 47 { | 47 { |
| 48 if (event.name == "loading" && event.message == event.target.url) | 48 if (event.name == "loading") |
| 49 listener(new Tab(event.target)); | 49 listener(new Tab(event.target)); |
| 50 }; | 50 }; |
| 51 } | 51 } |
| 52 }; | 52 }; |
| 53 | 53 |
| 54 Tab = function(tab) | 54 Tab = function(tab) |
| 55 { | 55 { |
| 56 this._tab = tab; | 56 this._tab = tab; |
| 57 | 57 |
| 58 this._eventTarget = tab; | 58 this._eventTarget = tab; |
| (...skipping 474 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 533 // clicked. While Chrome loads it everytime you click the icon. So in order to | 533 // clicked. While Chrome loads it everytime you click the icon. So in order to |
| 534 // force the same behavior in Safari, we are going to reload the page of the | 534 // force the same behavior in Safari, we are going to reload the page of the |
| 535 // bubble everytime it is shown. | 535 // bubble everytime it is shown. |
| 536 if (safari.extension.globalPage.contentWindow != window) | 536 if (safari.extension.globalPage.contentWindow != window) |
| 537 safari.application.addEventListener("popover", function() | 537 safari.application.addEventListener("popover", function() |
| 538 { | 538 { |
| 539 document.documentElement.style.display = "none"; | 539 document.documentElement.style.display = "none"; |
| 540 document.location.reload(); | 540 document.location.reload(); |
| 541 }, true); | 541 }, true); |
| 542 })(); | 542 })(); |
| OLD | NEW |