| OLD | NEW |
| 1 /* | 1 /* |
| 2 * This file is part of Adblock Plus <https://adblockplus.org/>, | 2 * This file is part of Adblock Plus <https://adblockplus.org/>, |
| 3 * Copyright (C) 2006-2015 Eyeo GmbH | 3 * Copyright (C) 2006-2015 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 518 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 529 if (callback) | 529 if (callback) |
| 530 callback(new Page(tab)); | 530 callback(new Page(tab)); |
| 531 } | 531 } |
| 532 else | 532 else |
| 533 { | 533 { |
| 534 ext.pages.open(optionsUrl, callback); | 534 ext.pages.open(optionsUrl, callback); |
| 535 } | 535 } |
| 536 }); | 536 }); |
| 537 }); | 537 }); |
| 538 }; | 538 }; |
| 539 |
| 540 |
| 541 /* Devtools panel */ |
| 542 |
| 543 var Panel = function(inspectedTabId, port) |
| 544 { |
| 545 this.inspectedTabId = inspectedTabId; |
| 546 this._port = port; |
| 547 }; |
| 548 Panel.prototype = { |
| 549 sendMessage: function(message) |
| 550 { |
| 551 this._port.postMessage(message); |
| 552 }, |
| 553 get onRemoved() |
| 554 { |
| 555 return this._port.onDisconnect; |
| 556 } |
| 557 }; |
| 558 |
| 559 ext.devtools = { |
| 560 onCreated: new ext._EventTarget() |
| 561 }; |
| 562 |
| 563 chrome.runtime.onConnect.addListener(function(port) |
| 564 { |
| 565 var match = port.name.match(/^devtools-(\d+)$/); |
| 566 if (match) |
| 567 { |
| 568 var panel = new Panel(parseInt(match[1], 10), port); |
| 569 ext.devtools.onCreated._dispatch(panel); |
| 570 } |
| 571 }); |
| 539 })(); | 572 })(); |
| OLD | NEW |