From b7c58911c8f4f91ed2d6e1dedb8d56d775c7c429 Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Mon, 13 Jul 2020 14:19:00 -0700 Subject: [PATCH] Hide editor icons when editor is not a notebook (#12934) --- package.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/package.json b/package.json index 36674cbae8dd..879ab436c941 100644 --- a/package.json +++ b/package.json @@ -869,19 +869,19 @@ "command": "python.datascience.notebookeditor.restartkernel", "title": "%python.command.python.datascience.restartkernel.title%", "group": "navigation", - "when": "notebookViewType == jupyter-notebook" + "when": "resourceLangId == jupyter && notebookViewType == 'jupyter-notebook'" }, { "command": "python.datascience.notebookeditor.trust", "title": "%DataScience.trustNotebookCommandTitle%", "group": "navigation@1", - "when": "notebookViewType == jupyter-notebook && !python.datascience.isnotebooktrusted && python.datascience.trustfeatureenabled" + "when": "resourceLangId == jupyter && notebookViewType == 'jupyter-notebook' && !python.datascience.isnotebooktrusted && python.datascience.trustfeatureenabled" }, { "command": "python.datascience.export", "title": "%DataScience.notebookExportAs%", "group": "navigation", - "when": "notebookViewType == jupyter-notebook" + "when": "resourceLangId == jupyter && notebookViewType == 'jupyter-notebook'" } ], "explorer/context": [