Fix graph viewer not re-rendering correctly after loading a second graph

[asgerf]

This PR fixes an issue with the graph viewer (CFG viewer) that appears after loading two CFGs without closing the webview in-between.

To reproduce the issue:

• Open the CFG viewer
• Observe that pan-to-scroll works. And that clicking a node doesn't reset the scroll position within the webview.
• Open the CFG viewer for a different function without closing the webview.
• Pan-to-scroll no longer works. Clicking a node resets the scroll position.
• Closing the webview and opening another CFG makes it work again.

Copilot CLI duly noticed that the key for the ResultsApp component was not changing when loading a new query run. Changing the key ensures the underlying d3-graphviz component gets reset properly when rendering a new graph.

[Copilot]

Pull request overview

This PR fixes a bug in the graph viewer (CFG viewer) where the component wasn't properly re-rendering after loading a second graph without closing the webview. The issue manifested as broken pan-to-scroll functionality and incorrect scroll position behavior after viewing a second CFG.

Changes:

• Updated the React key calculation for the ResultTables component to include the resultsPath in addition to selectedTable and pageNumber

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[d10c]

Thanks! Have you tested that this works now?

[asgerf]

Yes, I've tested it on my own machine.