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 |