From d192fb918b0e2aa8869de6dcc59de8464b6e879a Mon Sep 17 00:00:00 2001
From: Peter Bengtsson <mail@peterbe.com>
Date: Fri, 11 Dec 2020 18:59:39 -0500
Subject: dump 2020-12-11

---
 .../webextensions/user_interface/extension_pages/index.html    | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'files/ja/mozilla')

diff --git a/files/ja/mozilla/add-ons/webextensions/user_interface/extension_pages/index.html b/files/ja/mozilla/add-ons/webextensions/user_interface/extension_pages/index.html
index a945d4d1fc..08210629f2 100644
--- a/files/ja/mozilla/add-ons/webextensions/user_interface/extension_pages/index.html
+++ b/files/ja/mozilla/add-ons/webextensions/user_interface/extension_pages/index.html
@@ -9,7 +9,7 @@ translation_of: Mozilla/Add-ons/WebExtensions/user_interface/Extension_pages
 ---
 <div>{{AddonSidebar()}}</div>
 
-<p><span class="seoSummary">拡張機能にはフォームやヘルプなど拡張機能が必要とするコンテンツを提供するためのHTMlを含めることができます。</span></p>
+<p><span class="seoSummary">拡張機能にはフォームやヘルプなど拡張機能が必要とするコンテンツを提供するためのHTMLを含めることができます。</span></p>
 
 <p><img alt="Example of a simple bundled page displayed as a detached panel." src="https://mdn.mozillademos.org/files/15752/bundled_page_as_panel_small.png" style="display: block; height: 216px; margin-left: auto; margin-right: auto; width: 350px;"></p>
 
@@ -21,7 +21,7 @@ translation_of: Mozilla/Add-ons/WebExtensions/user_interface/Extension_pages
 
 <p>HTMLファイルと関連づけられた CSS や JavaScript ファイルを拡張機能に含めることができます。これらのファイルはルートに置くこともできますし、サブディレクトリに分けることもできます。</p>
 
-<pre>/my-extension
+<pre class="notranslate">/my-extension
     /manifest.json
     /my-page.html
     /my-page.js</pre>
@@ -32,7 +32,7 @@ translation_of: Mozilla/Add-ons/WebExtensions/user_interface/Extension_pages
 
 <p><code>windows.create()</code> を使うと、例えば、HTML ファイルを detached panel (アドレスバー、ブックマークバーなどといったブラウザ UI がないウィンドウ) 開くことができ、ダイアログのようなユーザーエクスペリエンスを実現できます:</p>
 
-<pre class="brush: js">var createData = {
+<pre class="brush: js notranslate">var createData = {
   type: "detached_panel",
   url: "panel.html",
   width: 250,
@@ -42,7 +42,7 @@ var creating = browser.windows.create(createData);</pre>
 
 <p>ウィンドウが必要なくなったときは JavaScript で閉じることができます。例えば、以下の例では、ユーザーがボタンをクリックしたときに {{WebExtAPIRef("windows.remove()")}} にウィンドウ の ID を渡しています:</p>
 
-<pre class="brush: js">document.getElementById("closeme").addEventListener("click", function(){
+<pre class="brush: js notranslate">document.getElementById("closeme").addEventListener("click", function(){
   var winId = browser.windows.WINDOW_ID_CURRENT;
   var removing = browser.windows.remove(winId);
 }); </pre>
@@ -51,7 +51,7 @@ var creating = browser.windows.create(createData);</pre>
 
 <p>デフォルトではこの方法で開かれたページは普通のウェブページを開いたときと同じように履歴に保存されます。履歴に保存したくない場合、 {{WebExtAPIRef("history.deleteUrl()")}} を使ってブラウザから履歴のレコードを削除することができます。</p>
 
-<pre class="brush: js" id="ct-4">function onVisited(historyItem) {
+<pre class="brush: js notranslate" id="ct-4">function onVisited(historyItem) {
   if (historyItem.url == browser.extension.getURL(myPage)) {
     browser.history.deleteUrl({url: historyItem.url});
   }
-- 
cgit v1.2.3-54-g00ecf