mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-02 07:05:24 +00:00
1ee81de46e
Break DevTools theme files out of browser.jar and move to a new DevTools specific jar. Update all paths of the form: chrome://browser/skin/devtools/<X> to chrome://devtools/skin/<Y> where <Y> is the source tree path that comes after /devtools/client. --HG-- extra : commitid : 9IcQqP2yRR8 extra : rebase_source : bb1db57cf13c1d5c30d3f121518d6f2e15fcb1f6
20 lines
960 B
XML
20 lines
960 B
XML
<?xml version="1.0"?>
|
|
<!-- This Source Code Form is subject to the terms of the Mozilla Public
|
|
- License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
- file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
|
|
<?xml-stylesheet href="chrome://global/skin/global.css"?>
|
|
<?xml-stylesheet href="chrome://devtools/content/shared/widgets/widgets.css" type="text/css"?>
|
|
<?xml-stylesheet href="chrome://devtools/skin/themes/common.css" type="text/css"?>
|
|
<?xml-stylesheet href="chrome://devtools/skin/themes/widgets.css" type="text/css"?>
|
|
<!DOCTYPE window [
|
|
<!ENTITY % viewDTD SYSTEM "chrome://browser/locale/devtools/VariablesView.dtd">
|
|
%viewDTD;
|
|
]>
|
|
<window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
|
|
title="&PropertiesViewWindowTitle;">
|
|
|
|
<script type="application/javascript;version=1.8"
|
|
src="chrome://devtools/content/shared/theme-switching.js"/>
|
|
<vbox id="variables" flex="1"/>
|
|
</window>
|