forked from mirrors/gecko-dev
bdabf1705b
Depends on D71035
When F12 is disabled, if the user presses this key we show a notification hanging below the Firefox Hamburger menu.
This anchor was chosen because this is where the users can normally find the Web Developer menu.
Note that they could also open DevTools via another keyboard shortcut, even if it's not mentioned in the message.
Pressing on F12 again hides the message. The message will be displayed again if the user presses F12 again (ie, F12 is a toggle and the message is not just a one shot)
{F2136447}
Differential Revision: https://phabricator.services.mozilla.com/D71036
14 lines
588 B
HTML
14 lines
588 B
HTML
<!-- 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/. -->
|
|
|
|
<!-- Wrap the arrow panel in a template to avoid loading images on startup -->
|
|
<html:template id="wrapper-enable-devtools-popup">
|
|
<panel id="enable-devtools-popup"
|
|
type="arrow"
|
|
role="alert"
|
|
noautofocus="true"
|
|
orient="vertical">
|
|
<description data-l10n-id="enable-devtools-popup-description"></description>
|
|
</panel>
|
|
</html:template>
|