From 4aaee0a1710f4df99bf4e07fa2ae8986b6219c62 Mon Sep 17 00:00:00 2001 From: Masahiro FUJIMOTO Date: Tue, 14 Sep 2021 23:03:12 +0900 Subject: Mozilla/Add-on-url以下の文書内のリンクURLを正規化 (#2365) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - /en-US へのリンクを /ja へのリンクに修正 - /ja が付いていないものに /ja を付加 - MDN内のリンクが完全URLの場合、 /ja/docs からのURLに修正 --- .../add-ons/webextensions/user_interface/devtools_panels/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'files/ja/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html') diff --git a/files/ja/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html b/files/ja/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html index 2df3fb0641..365eff5d3d 100644 --- a/files/ja/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html +++ b/files/ja/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html @@ -20,9 +20,9 @@ translation_of: Mozilla/Add-ons/WebExtensions/user_interface/devtools_panels

開発ツールパネルを指定する

-

開発ツールパネルは devtools.panels API を使って追加され、特別な開発ツールページから順番に実行されます。

+

開発ツールパネルは devtools.panels API を使って追加され、特別な開発ツールページから順番に実行されます。

-

開発ツールのページを追加するには、拡張機能の manifest.jsondevtools_page キーを入れて、 拡張機能内のそのページの HTML ファイルの場所を与えます:

+

開発ツールのページを追加するには、拡張機能の manifest.jsondevtools_page キーを入れて、 拡張機能内のそのページの HTML ファイルの場所を与えます:

"devtools_page": "devtools-page.html"
@@ -51,7 +51,7 @@ browser.devtools.panels.create( newPanel.onHidden.addListener(handleHidden); }); -

拡張機能はインスペクターウィンドウの中で devtools.inspectedWindow.eval() を使うか、バックグラウンドスクリプトからメッセージを渡してコンテンツスクリプトに挿入することで、コードを実行できます。この方法のより詳しくは Extending the developer tools を見てください。

+

拡張機能はインスペクターウィンドウの中で devtools.inspectedWindow.eval() を使うか、バックグラウンドスクリプトからメッセージを渡してコンテンツスクリプトに挿入することで、コードを実行できます。この方法のより詳しくは Extending the developer tools を見てください。

開発パネルのデザイン

-- cgit v1.2.3-54-g00ecf