diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json index 2d25355c..bb82b72f 100644 --- a/vscode-lean4/package.json +++ b/vscode-lean4/package.json @@ -1273,11 +1273,11 @@ }, { "command": "lean4.leanModuleHierarchy.showImports", - "when": "lean4.isLeanFeatureSetActive" + "when": "false" }, { "command": "lean4.leanModuleHierarchy.showImportedBy", - "when": "lean4.isLeanFeatureSetActive" + "when": "false" } ], "editor/title": [