devtools.panels
Примечание: Хотя API основаны на API инструментов разработчика Chrome, всё ещё много функций не реализовано в Firefox, и поэтому здесь не документированы. Чтобы увидеть, какие функции отсутствуют, см. Ограничения API инструментов разработчика.
API devtools.panels позволяет расширению инструментов разработчика определять свой пользовательский интерфейс внутри окна инструментов разработчика.
Окно инструментов разработчика содержит ряд отдельных инструментов — отладчик JavaScript, монитор сети и так далее. Строка вкладок вверху позволяет пользователю переключаться между разными инструментами. Окно, содержащее пользовательский интерфейс каждого инструмента, называется «панелью».
С помощью API devtools.panels вы можете создавать новые панели в окне инструментов разработчика.
Как и все API devtools , этот API доступен только коду, выполняющемуся в документе, определённом в ключе devtools_page manifest.json, или в других документах инструментов разработчика, созданных расширением (например, в собственном документе панели). См. Расширение инструментов разработчика для получения дополнительной информации.
Типы
devtools.panels.ElementsPanel-
Представляет собой инспектор HTML/CSS в инструментах разработчика браузера.
devtools.panels.ExtensionPanel-
Представляет панель инструментов разработчика, созданную расширением.
-
Представляет собой область, добавленную расширением в инспектор HTML/CSS инструментов разработчика браузера.
Свойства
devtools.panels.elements-
Ссылка на объект
ElementsPanel. devtools.panels.themeName-
Имя текущей темы инструментов разработчика.
Функции
devtools.panels.create()-
Создаёт новую панель инструментов разработчика.
События
devtools.panels.onThemeChanged-
Срабатывает при изменении темы инструментов разработчика.
Примеры расширений
Совместимость с браузерами
| Рабочий стол | Мобильные устройства | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Chrome | Edge | Firefox | Internet Explorer | Opera | Safari | WebView Android | Chrome Android | Firefox for Android | Opera Android | Safari на iOS | Samsung Internet | |
create |
Да | 79 | 54 | ? | Да | 16 | ? | ? | Нет | ? | Нет | ? |
elements |
Да | 79 | 56 | ? | Да | 16 | ? | ? | Нет | ? | Нет | ? |
onThemeChanged |
Нет | Нет | 55 | ? | Нет | 16 | ? | ? | Нет | ? | Нет | ? |
themeName |
59 | 79 | 55 | ? | 41 | 16 | ? | ? | Нет | ? | Нет | ? |
Примеры расширений
Примечание: Этот API основан на API chrome.devtools.panels Chromium.
© 2005–2023 MDN contributors.
Licensed under the Creative Commons Attribution-ShareAlike License v2.5 or later.
https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/devtools/panels
