Как закрыть/уничтожить chrome devtools ExtensionPanel программно?

Question

Я недавно создал расширение для devtools, которое добавляет новый ExtensionPanel на devtools. Поскольку эта панель полезна только на определенных страницах, я хотел бы показать ее условно в зависимости от содержимого текущей страницы. Я могу создать панель динамически, в зависимости от контекста страницы, но мне не удалось найти способ ее закрыть (я пробовал window.close(), и сама панель не имеет таких методов).

So my question: есть способ закрыть ExtensionPanel программно?

Answer 1

Это не поддерживается DevTools в данный момент - если вы добавляете панель или боковую панель, это на всю жизнь DevTools. Все запасные панели DevTools отображаются безоговорочно, и обоснование отсутствия методов API для удаления панелей - это избежать путаницы, создаваемой панелями, идущими и идущими. Если панель не применима к проверяемой странице на данный момент, возможно, вы увидите баннер, объясняющий, почему он не применим.