From d84dc65a51ca810a53a8136277a71987ab185e07 Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Mon, 13 Jul 2020 13:32:09 -0700 Subject: [PATCH] Hide editor icons when editor is not a notebook --- package.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/package.json b/package.json index 2b00476bd40e..2dffcc3c5883 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": [