mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 12:37:37 +00:00
646f3e6e11
The toolbar class was making the whole background of the animation panel be grey, unlike the other inspector side-bar panels. Also removed the unnecessary right-border on the global play/pause button.
32 lines
1.5 KiB
HTML
32 lines
1.5 KiB
HTML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!-- 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/. -->
|
|
<!DOCTYPE html [
|
|
<!ENTITY % animationinspectorDTD SYSTEM "chrome://browser/locale/devtools/animationinspector.dtd" >
|
|
%animationinspectorDTD;
|
|
]>
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<title>&title;</title>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
|
|
<link rel="stylesheet" href="chrome://browser/skin/devtools/common.css" type="text/css"/>
|
|
<link rel="stylesheet" href="chrome://browser/skin/devtools/animationinspector.css" type="text/css"/>
|
|
<script type="application/javascript;version=1.8" src="chrome://browser/content/devtools/theme-switching.js"/>
|
|
</head>
|
|
<body class="theme-sidebar devtools-monospace" role="application">
|
|
<div id="toolbar" class="theme-toolbar">
|
|
<span class="label">&allAnimations;</span>
|
|
<button id="toggle-all" standalone="true" class="devtools-button"></button>
|
|
</div>
|
|
<div id="players"></div>
|
|
<div id="error-message">
|
|
<p>&invalidElement;</p>
|
|
<p>&selectElement;</p>
|
|
<button id="element-picker" standalone="true" class="devtools-button"></button>
|
|
</div>
|
|
<script type="application/javascript;version=1.8" src="animation-controller.js"></script>
|
|
<script type="application/javascript;version=1.8" src="animation-panel.js"></script>
|
|
</body>
|
|
</html>
|