diff --git a/docs/features/debugging.md b/docs/features/debugging.md index 031d0e9d..2bac8f62 100644 --- a/docs/features/debugging.md +++ b/docs/features/debugging.md @@ -10,6 +10,10 @@ To debug a pocketpy program, you need to install our VSCode extension first: https://marketplace.visualstudio.com/items?itemName=pocketpy.pocketpy +!!! +The VSCode extension requires pocketpy version >= `2.1.1` +!!! + ## Create a `launch.json` file Navigate to the Debug view in VSCode, and click on "create a launch.json file" link. diff --git a/docs/features/profiling.md b/docs/features/profiling.md index 8a7cb199..4799129d 100644 --- a/docs/features/profiling.md +++ b/docs/features/profiling.md @@ -17,6 +17,10 @@ which records the time spent for each line. To visualize the report, please inst https://marketplace.visualstudio.com/items?itemName=pocketpy.pocketpy +!!! +The VSCode extension requires pocketpy version >= `2.1.1` +!!! + With pocketpy VSCode extension, press `F1` and type `pocketpy: Load Line Profiler Report`, select **1. the `profile_report.json` file; 2. the source root of the program**. Then you will see a nice visualization of the profiling result.