diff options
| author | SphinxKnight <SphinxKnight@users.noreply.github.com> | 2021-11-15 19:39:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-15 19:39:07 +0100 |
| commit | 34d315396ca29d7ef51ecc27eeeeeb275e9b0ba9 (patch) | |
| tree | 21f671201b06ff6b0e507de867950b71fe1fddaf /files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html | |
| parent | 3886d96643d8b7cc626f1dda0e11981ac85def86 (diff) | |
| download | translated-content-34d315396ca29d7ef51ecc27eeeeeb275e9b0ba9.tar.gz translated-content-34d315396ca29d7ef51ecc27eeeeeb275e9b0ba9.tar.bz2 translated-content-34d315396ca29d7ef51ecc27eeeeeb275e9b0ba9.zip | |
Prepare Mozilla section for Markdown conversion (#2980)
* Remove summary
* Remove hidden except for copyright notice
* Remove spans
* Remove font
* Remove notranslate
* Remove extra id, deleting an untranslated page doing so
* Fix links, absolute links, rm internal, titles
* Remove external classes
* fix headings with name attr
* fix some styles and classes
* remove useless class reference-values
* rm styles in links
* Fix code blocks in pre
* Remove ltr classes
* remove fullwidth-table
* Fix various conversion errors and some one offs
* Remove nested code/pre/code
* Fix notes
* Fix warnings
* fix dls
* fix nested issues in dls
* fix images
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html index a6dd5c36a9..757f74684b 100644 --- a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html +++ b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html @@ -18,7 +18,7 @@ original_slug: Mozilla/Add-ons/WebExtensions/API/devtools.panels/onThemeChanged <h2 id="Syntaxe">Syntaxe</h2> -<pre class="syntaxbox brush:js">browser.devtools.panels.onThemeChanged.addListener(listener) +<pre class="brush: js">browser.devtools.panels.onThemeChanged.addListener(listener) browser.devtools.panels.onThemeChanged.removeListener(listener) browser.devtools.panels.onThemeChanged.hasListener(listener) </pre> @@ -43,7 +43,7 @@ browser.devtools.panels.onThemeChanged.hasListener(listener) <dd> <p>Function qui sera appelée lors de l'événement. La fonction passera les arguments suivants :</p> - <dl class="reference-values"> + <dl> <dt><code>themeName</code></dt> <dd><code>string</code>. Nom du nouveau thème : ce sera l'une des valeurs autorisées pour <code><a href="/fr/docs/Mozilla/Add-ons/WebExtensions/API/devtools.panels/themeName">devtools.panels.themeName</a></code>.</dd> </dl> @@ -63,7 +63,7 @@ browser.devtools.panels.onThemeChanged.hasListener(listener) <p>{{WebExtExamples}}</p> -<div class="note"><strong>Remerciements</strong> +<div class="note"><p><strong>Note :</strong></p> <p>Cette API est basée sur l'API Chromium <a href="https://developer.chrome.com/extensions/devtools_panels"><code>chrome.devtools.panels</code></a>.</p> |