From 39106e272b3bd0498df82edf61dcf14ba306be15 Mon Sep 17 00:00:00 2001 From: blueloveTH Date: Thu, 28 Aug 2025 14:44:19 +0800 Subject: [PATCH] fix docs --- docs/features/debugging.md | 4 ++++ docs/features/profiling.md | 4 ++++ 2 files changed, 8 insertions(+) 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.