author Julian Descottes <>
Wed, 14 Mar 2018 21:21:02 +0100
changeset 414314 3e9acd2c8bd329cfeb8a53be7ecaefc462024f6c
child 414317 4b6f77cfd686930e3be525c51d10b825549c5eae
permissions -rw-r--r--
Bug 1445197 - part 1: Create an application panel for DevTools;r=Honza,nchevobbe,sole Register a new application panel, disabled by default, with no icon, no shortcut and hidden from the devtools options. Set devtools.application.enabled to true to enable it. MozReview-Commit-ID: L5PXZVDCRlF

<!-- 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 -->
<!DOCTYPE html>
<html dir="">
  <body class="theme-body" role="application">
    <div id="mount"></div>
    <script src="chrome://devtools/content/shared/theme-switching.js"></script>
    <script src="initializer.js"></script>