tools/quitter/contentscript.js@b8a032363ba2 (annotated)
tools/quitter/contentscript.js
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
| michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 4 | |
| michael@0 | 5 | var Ci = Components.interfaces; |
| michael@0 | 6 | var Cc = Components.classes; |
| michael@0 | 7 | |
| michael@0 | 8 | function Quitter() { |
| michael@0 | 9 | } |
| michael@0 | 10 | |
| michael@0 | 11 | Quitter.prototype = { |
| michael@0 | 12 | toString: function() { return "[Quitter]"; }, |
| michael@0 | 13 | quit: function() { |
| michael@0 | 14 | sendSyncMessage('Quitter.Quit', {}); |
| michael@0 | 15 | }, |
| michael@0 | 16 | __exposedProps__: { |
| michael@0 | 17 | 'toString': 'r', |
| michael@0 | 18 | 'quit': 'r' |
| michael@0 | 19 | } |
| michael@0 | 20 | }; |
| michael@0 | 21 | |
| michael@0 | 22 | // This is a frame script, so it may be running in a content process. |
| michael@0 | 23 | // In any event, it is targeted at a specific "tab", so we listen for |
| michael@0 | 24 | // the DOMWindowCreated event to be notified about content windows |
| michael@0 | 25 | // being created in this context. |
| michael@0 | 26 | |
| michael@0 | 27 | function QuitterManager() { |
| michael@0 | 28 | addEventListener("DOMWindowCreated", this, false); |
| michael@0 | 29 | } |
| michael@0 | 30 | |
| michael@0 | 31 | QuitterManager.prototype = { |
| michael@0 | 32 | handleEvent: function handleEvent(aEvent) { |
| michael@0 | 33 | var window = aEvent.target.defaultView; |
| michael@0 | 34 | window.wrappedJSObject.Quitter = new Quitter(window); |
| michael@0 | 35 | } |
| michael@0 | 36 | }; |
| michael@0 | 37 | |
| michael@0 | 38 | var quittermanager = new QuitterManager(); |
