| OLD | NEW | 
|---|
| (Empty) |  | 
|  | 1 /* | 
|  | 2  * This file is part of Adblock Plus <http://adblockplus.org/>, | 
|  | 3  * Copyright (C) 2006-2014 Eyeo GmbH | 
|  | 4  * | 
|  | 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 | 
|  | 7  * published by the Free Software Foundation. | 
|  | 8  * | 
|  | 9  * Adblock Plus is distributed in the hope that it will be useful, | 
|  | 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|  | 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
|  | 12  * GNU General Public License for more details. | 
|  | 13  * | 
|  | 14  * You should have received a copy of the GNU General Public License | 
|  | 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
|  | 16  */ | 
|  | 17 | 
|  | 18 (function(global) | 
|  | 19 { | 
|  | 20   if (!global.ext) | 
|  | 21     global.ext = {}; | 
|  | 22 | 
|  | 23   window.addEventListener("load", function() | 
|  | 24   { | 
|  | 25     parent.postMessage({ | 
|  | 26       type: "backgroundPageLoaded" | 
|  | 27     }, "*"); | 
|  | 28   }, false) | 
|  | 29 | 
|  | 30   function PageMap() | 
|  | 31   { | 
|  | 32     this._keys = []; | 
|  | 33     this._values = []; | 
|  | 34   } | 
|  | 35   PageMap.prototype = { | 
|  | 36     keys: function() | 
|  | 37     { | 
|  | 38       return this._keys.map(function(source) | 
|  | 39       { | 
|  | 40         return new global.ext.Page(source); | 
|  | 41       }); | 
|  | 42     }, | 
|  | 43 | 
|  | 44     get: function(page) | 
|  | 45     { | 
|  | 46       return this._values[this._keys.indexOf(page._source)]; | 
|  | 47     }, | 
|  | 48 | 
|  | 49     set: function(page, value) | 
|  | 50     { | 
|  | 51       var index = this._keys.indexOf(page._source); | 
|  | 52       if (index < 0) | 
|  | 53       { | 
|  | 54         index = this._keys.push(page._source) - 1; | 
|  | 55 | 
|  | 56         var callback = function() | 
|  | 57         { | 
|  | 58           page._source.removeEventListener("unload", callback, false); | 
|  | 59           this.delete(page); | 
|  | 60         }.bind(this); | 
|  | 61         page._source.addEventListener("unload", callback, false); | 
|  | 62       } | 
|  | 63       this._values[index] = value; | 
|  | 64     }, | 
|  | 65 | 
|  | 66     delete: function(page) | 
|  | 67     { | 
|  | 68       var index = this._keys.indexOf(page._source); | 
|  | 69       if (index >= 0) | 
|  | 70       { | 
|  | 71         this._keys.splice(index, 1); | 
|  | 72         this._values.splice(index, 1); | 
|  | 73       } | 
|  | 74     } | 
|  | 75   }; | 
|  | 76 | 
|  | 77   global.ext.PageMap = PageMap; | 
|  | 78 })(this); | 
| OLD | NEW | 
|---|