Ctrl+P
This is VSCode extension for BigraphER
\Users\<USERNAME>\.vscode\extensions\seelx3.bigrapher-0.0.1