File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 14411441 "command" : " python.execInTerminal-icon" ,
14421442 "group" : " navigation@0" ,
14431443 "title" : " %python.command.python.execInTerminalIcon.title%" ,
1444- "when" : " resourceLangId == python && !isInDiffEditor && !virtualWorkspace && shellExecutionSupported"
1444+ "when" : " resourceLangId == python && resourceExtname != .pyi && !isInDiffEditor && !virtualWorkspace && shellExecutionSupported"
14451445 },
14461446 {
14471447 "command" : " python.execInDedicatedTerminal" ,
14481448 "group" : " navigation@0" ,
14491449 "title" : " %python.command.python.execInDedicatedTerminal.title%" ,
1450- "when" : " resourceLangId == python && !isInDiffEditor && !virtualWorkspace && shellExecutionSupported"
1450+ "when" : " resourceLangId == python && resourceExtname != .pyi && !isInDiffEditor && !virtualWorkspace && shellExecutionSupported"
14511451 }
14521452 ],
14531453 "explorer/context" : [
You can’t perform that action at this time.
0 commit comments