From 7d03ce4e1958f36cb76ad95844fdfe76116ef1cf Mon Sep 17 00:00:00 2001
From: Gavin Gray <gavinleroy6@gmail.com>
Date: Tue, 26 Sep 2023 18:35:23 +0200
Subject: [PATCH] Convert CharPos to number in renderInterpreter.

---
 .../aquascope-editor/src/editor-utils/interpreter.tsx         | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx b/frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx
index 12290bee3..fb1ba1f0f 100644
--- a/frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx
+++ b/frontend/packages/aquascope-editor/src/editor-utils/interpreter.tsx
@@ -814,14 +814,14 @@ export function renderInterpreter(
 ) {
   let root = ReactDOM.createRoot(container);
   let marks = annotations?.state_locations || [];
-  let widgetRanges;
+  let widgetRanges: number[];
   if (marks.length > 0) {
     let [sortedMarks, filteredSteps] = filterSteps(view, trace.steps, marks);
     widgetRanges = sortedMarks;
     trace.steps = filteredSteps;
   } else {
     widgetRanges = trace.steps.map(
-      step => _.last(step.stack.frames)!.location.end
+      step => linecolToPosition(_.last(step.stack.frames)!.location.end, view.state.doc)
     );
   }