browser/devtools/styleinspector/cssruleview.xhtml

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

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>

mercurial