browser/devtools/layoutview/view.xhtml

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 <?xml version="1.0" encoding="UTF-8"?>
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 <!DOCTYPE html [
michael@0 6 <!ENTITY % layoutviewDTD SYSTEM "chrome://browser/locale/devtools/layoutview.dtd" >
michael@0 7 %layoutviewDTD;
michael@0 8 ]>
michael@0 9
michael@0 10 <html xmlns="http://www.w3.org/1999/xhtml"
michael@0 11 xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
michael@0 12 <head>
michael@0 13 <title>&title;</title>
michael@0 14
michael@0 15 <script type="application/javascript;version=1.8"
michael@0 16 src="chrome://browser/content/devtools/theme-switching.js"/>
michael@0 17
michael@0 18 <script type="application/javascript;version=1.8" src="view.js"></script>
michael@0 19
michael@0 20 <link rel="stylesheet" href="chrome://browser/skin/devtools/common.css" type="text/css"/>
michael@0 21 <link rel="stylesheet" href="chrome://browser/skin/devtools/layoutview.css" type="text/css"/>
michael@0 22 <link rel="stylesheet" href="view.css" type="text/css"/>
michael@0 23
michael@0 24 </head>
michael@0 25 <body class="theme-sidebar devtools-monospace">
michael@0 26
michael@0 27 <p id="header">
michael@0 28 <span id="element-size"></span><span id="element-position"></span>
michael@0 29 </p>
michael@0 30
michael@0 31 <div id="main">
michael@0 32
michael@0 33 <div id="margins" data-box="margin" tooltip="&margin.tooltip;">
michael@0 34 <div id="borders" data-box="border" tooltip="&border.tooltip;">
michael@0 35 <div id="padding" data-box="padding" tooltip="&padding.tooltip;">
michael@0 36 <div id="content" data-box="content" tooltip="&content.tooltip;">
michael@0 37 </div>
michael@0 38 </div>
michael@0 39 </div>
michael@0 40 </div>
michael@0 41
michael@0 42 <p class="border top"><span data-box="border" class="editable" tooltip="border-top"></span></p>
michael@0 43 <p class="border right"><span data-box="border" class="editable" tooltip="border-right"></span></p>
michael@0 44 <p class="border bottom"><span data-box="border" class="editable" tooltip="border-bottom"></span></p>
michael@0 45 <p class="border left"><span data-box="border" class="editable" tooltip="border-left"></span></p>
michael@0 46
michael@0 47 <p class="margin top"><span data-box="margin" class="editable" tooltip="margin-top"></span></p>
michael@0 48 <p class="margin right"><span data-box="margin" class="editable" tooltip="margin-right"></span></p>
michael@0 49 <p class="margin bottom"><span data-box="margin" class="editable" tooltip="margin-bottom"></span></p>
michael@0 50 <p class="margin left"><span data-box="margin" class="editable" tooltip="margin-left"></span></p>
michael@0 51
michael@0 52 <p class="padding top"><span data-box="padding" class="editable" tooltip="padding-top"></span></p>
michael@0 53 <p class="padding right"><span data-box="padding" class="editable" tooltip="padding-right"></span></p>
michael@0 54 <p class="padding bottom"><span data-box="padding" class="editable" tooltip="padding-bottom"></span></p>
michael@0 55 <p class="padding left"><span data-box="padding" class="editable" tooltip="padding-left"></span></p>
michael@0 56
michael@0 57 <p class="size"><span data-box="content" tooltip="&content.tooltip;"></span></p>
michael@0 58
michael@0 59 <span class="tooltip"></span>
michael@0 60
michael@0 61 </div>
michael@0 62
michael@0 63 <div style="display: none">
michael@0 64 <p id="dummy"></p>
michael@0 65 </div>
michael@0 66 </body>
michael@0 67 </html>

mercurial