Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | <?xml version="1.0"?> |
michael@0 | 2 | <!-- This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 3 | - License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 4 | - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
michael@0 | 5 | |
michael@0 | 6 | <!DOCTYPE window [ |
michael@0 | 7 | <!ENTITY % inspectorDTD SYSTEM "chrome://browser/locale/devtools/styleinspector.dtd"> |
michael@0 | 8 | %inspectorDTD; |
michael@0 | 9 | ]> |
michael@0 | 10 | |
michael@0 | 11 | |
michael@0 | 12 | <html xmlns="http://www.w3.org/1999/xhtml" |
michael@0 | 13 | xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" |
michael@0 | 14 | class="theme-sidebar"> |
michael@0 | 15 | |
michael@0 | 16 | <head> |
michael@0 | 17 | <title>&ruleViewTitle;</title> |
michael@0 | 18 | <link rel="stylesheet" href="chrome://global/skin/global.css" type="text/css"/> |
michael@0 | 19 | <link rel="stylesheet" href="chrome://browser/skin/devtools/common.css" type="text/css"/> |
michael@0 | 20 | <link rel="stylesheet" href="chrome://browser/content/devtools/ruleview.css" type="text/css"/> |
michael@0 | 21 | <link rel="stylesheet" href="chrome://browser/skin/devtools/ruleview.css" type="text/css"/> |
michael@0 | 22 | |
michael@0 | 23 | <script type="application/javascript;version=1.8" src="theme-switching.js"/> |
michael@0 | 24 | |
michael@0 | 25 | <script type="application/javascript;version=1.8"> |
michael@0 | 26 | window.setPanel = function(panel, iframe) { |
michael@0 | 27 | let {devtools} = Components.utils.import("resource://gre/modules/devtools/Loader.jsm", {}); |
michael@0 | 28 | let inspector = devtools.require("devtools/styleinspector/style-inspector"); |
michael@0 | 29 | this.ruleview = new inspector.RuleViewTool(panel, window, iframe); |
michael@0 | 30 | } |
michael@0 | 31 | window.onunload = function() { |
michael@0 | 32 | if (this.ruleview) { |
michael@0 | 33 | this.ruleview.destroy(); |
michael@0 | 34 | } |
michael@0 | 35 | } |
michael@0 | 36 | </script> |
michael@0 | 37 | </head> |
michael@0 | 38 | </html> |