Shift-Alt-Click does not work on macOS in Trace view

[rod-chapman]

In a view of a Trace reported by cbmc-viewer, I am unable to get the "Shift-Alt-Click" navigation action to work on macOS.

I have also tried to modify the viewer.js file to use ctrlKey or metaKey ("Command key on the mac"), but neither of these work for me either.