Плагин Theia: дублированный значок редактора / заголовка - PullRequest
Новая
       82

Плагин Theia: дублированный значок редактора / заголовка

0 голосов
/ 12 июля 2020

Я пишу / редактирую плагин Theia с помощью настраиваемого WebView и хочу, чтобы кнопка в точке добавления editor/title отображалась только тогда, когда WebView сфокусирован. Следуя шаблону из Как мне добавить команду в строку заголовка или палитру команд обозревателя VS Code, которая активна только тогда, когда мой веб-просмотр сфокусирован? Я могу это сделать, но WebView создается в theia.WebviewPanelTargetArea.Bottom и кнопка дублируется в верхней и нижней областях, а не только в нижней.

Screenshot showing duplicated button when WebView button is focussed

"menus": {
  "editor/title": [{
    "command": "my-plugin.saveResult",
    "when": "myPluginResultFocus",
    "group": "navigation"
  },

const myWebview = ...;

myWebview.onDidChangeViewState(({ webviewPanel }) => {
    theia.commands.executeCommand('setContext', 'myPluginResultFocus', webviewPanel.active);
});

Как сделать так, чтобы кнопка отображалась только в правильной области?

...