From 0057196e961530080e8280d72d3fe40cc1836400 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 15 Jul 2020 14:47:42 +0200
Subject: [PATCH] [ivette] Bugfix on ASTview concerning go to definition.
---
ivette/src/renderer/ASTview.tsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx
index 4c946bb3960..ee63b4890ab 100644
--- a/ivette/src/renderer/ASTview.tsx
+++ b/ivette/src/renderer/ASTview.tsx
@@ -85,13 +85,13 @@ const ASTview = () => {
// Hooks
const buffer = React.useMemo(() => new RichTextBuffer(), []);
- const printed: React.MutableRefObject<string | undefined> = React.useRef();
+ const printed = React.useRef<string | undefined>();
const [selection, updateSelection] = States.useSelection();
const multipleSelections = selection?.multiple.allSelections;
const [theme, setTheme] = Dome.useGlobalSetting('ASTview.theme', 'default');
const [fontSize, setFontSize] = Dome.useGlobalSetting('ASTview.fontSize', 12);
const [wrapText, setWrapText] = Dome.useSwitch('ASTview.wrapText', false);
- const markers = States.useSyncModel(markerInfo);
+ const markers = States.useSyncArray(markerInfo);
const theFunction = selection?.current?.function;
const theMarker = selection?.current?.marker;
@@ -131,7 +131,7 @@ const ASTview = () => {
function onContextMenu(id: key<'#markerInfo'>) {
const items = [];
- const marker = markers.getData(id);
+ const marker = markers.find((e) => e.key === id);
if (marker?.kind === 'function') {
items.push({
label: `Go to definition of ${marker.name}`,
--
GitLab