Bump to compatible theme.

microbit-matt-hillsdon · microbit-matt-hillsdon · commit 36a830367f2d · 2021-07-26T11:23:14.000+01:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -33,7 +33,7 @@ _steps:
   install_dependencies: &install_dependencies
     run: npm ci --cache .npm-cache && sudo npm i -g --registry https://npm.pkg.github.com/microbit-foundation @microbit-foundation/website-deploy-aws@0.2.0 @microbit-foundation/website-deploy-aws-config@0.4.2 @microbit-foundation/circleci-npm-package-versioner@1
   install_theme: &install_theme
-    run: npm install --no-save --registry https://npm.pkg.github.com/microbit-foundation @microbit-foundation/python-editor-next-microbit@0.1.0-dev.37
+    run: npm install --no-save --registry https://npm.pkg.github.com/microbit-foundation @microbit-foundation/python-editor-next-microbit@0.1.0-dev.39
   update_version: &update_version
     run: npm run ci:update-version
   build: &build
diff --git a/src/editor/codemirror/structure-highlighting/view.ts b/src/editor/codemirror/structure-highlighting/view.ts
@@ -225,6 +225,8 @@ const positionsForNode = (
   const leftIndent = depth * indentWidth;
   const left = leftEdge + leftIndent;
   const mainCursor = state.selection.main.head;
+  // We only want the deepest node marked as active, not every node
+  // that contains the cursor.
   const cursorActive = mainCursor >= start && mainCursor <= end;
   return new Positions(top, left, height, cursorActive);
 };
